diff --git a/container-run.sh b/container-run.sh index b7d8b8e24..2e1fb8476 100755 --- a/container-run.sh +++ b/container-run.sh @@ -10,6 +10,6 @@ export OPAMYES=1 eval `opam config env` opam depext -ui mirage cd src -mirage configure --unix --net=socket --http-port=8080 +mirage configure -t unix --net=socket --http-port=8080 rm -f main.native make diff --git a/tmpl/wiki/hello-world.md b/tmpl/wiki/hello-world.md index 9dbe0f747..f42231759 100644 --- a/tmpl/wiki/hello-world.md +++ b/tmpl/wiki/hello-world.md @@ -112,7 +112,7 @@ unikernel under Unix first. ``` $ cd console -$ mirage configure --unix +$ mirage configure -t unix ``` `mirage configure` generates a `Makefile` with all the build rules included from @@ -142,7 +142,7 @@ $ ./mir-console
- Note that when you execute mirage configure --xen, the target
+ Note that when you execute mirage configure -t xen, the target
unikernel's target.xl and other auto-generated configuration
files are regenerated, overwriting any modifications you may have made. If
you edit any of these, we suggest renaming and/or committing them to source
@@ -153,10 +153,10 @@ $ ./mir-console
#### Building a Xen unikernel
If you are on a 64-bit Linux system able to build Xen images, simply change
-`--unix` for `--xen` to build a Xen VM:
+`-t unix` for `-t xen` to build a Xen VM:
```
-$ mirage configure --xen
+$ mirage configure -t xen
$ make
```
@@ -281,7 +281,7 @@ Build this on Unix in the same way as the console example.
```
$ cd block
-$ mirage configure --unix
+$ mirage configure -t unix
$ make
$ ./generate_disk_img.sh
$ ./mir-block_test
@@ -295,7 +295,7 @@ same (the logic for this is in `unikernel.ml` within the `Block_test` module).
The Xen version works the same way. First build the code:
```
-$ mirage configure --xen
+$ mirage configure -t xen
$ make
$ ./generate_disk_img.sh # only required if not executed as above
```
@@ -416,7 +416,7 @@ Unix:
```
$ cd kv_ro_crunch
-$ mirage configure --unix
+$ mirage configure -t unix
$ make
$ less static1.ml # the generated filesystem
$ ./mir-kv_ro
@@ -425,7 +425,7 @@ $ ./mir-kv_ro
Xen:
```
-$ mirage configure --xen
+$ mirage configure -t xen
$ make
$ sudo xl create -c kv_ro.xl
Parsing config from kv_ro.xl
@@ -475,7 +475,7 @@ appropriate settings for external filesystem access.
On OSX:
```
-$ mirage configure --unix --kv_ro fat
+$ mirage configure -t unix --kv_ro fat
$ ./make-fat1-image.sh
$ file fat1.img
fat1.img: x86 boot sector, code offset 0x0, OEM-ID "ocamlfat",
@@ -486,7 +486,7 @@ sectors/FAT 1, sectors 49 (volumes > 32 MB) , dos < 4.0 BootSector (0x0)
or, on Linux:
```
-$ mirage configure --unix --kv_ro fat
+$ mirage configure -t unix --kv_ro fat
$ ./make-fat1-image.sh
$ file fat1.img
fat1.img: x86 boot sector
@@ -583,7 +583,7 @@ first.
```
$ cd stackv4
-$ mirage configure --unix --net socket
+$ mirage configure -t unix --net socket
$ make
$ sudo ./mir-stackv4
Manager: connect
@@ -624,7 +624,7 @@ Assuming you've got a DHCP server running:
```
$ cd stackv4
-$ mirage configure --unix --dhcp true --net direct
+$ mirage configure -t unix --dhcp true --net direct
$ make
$ sudo ./mir-stackv4
Netif: connect unknown
@@ -696,7 +696,7 @@ using `$ sudo ifconfig tap0 10.0.0.1 up`, then:
```
$ cd stackv4
-$ mirage configure --unix --dhcp false --net direct
+$ mirage configure -t unix --dhcp false --net direct
$ make
$ sudo ./mir-stackv4
Netif: plugging into tap0 with mac c2:9d:56:19:d7:2c
@@ -762,7 +762,7 @@ configuration file already disables the socket-based job if a Xen compilation is
detected, leaving just the OCaml TCP/IP stack.
```
-$ mirage configure --xen --dhcp true
+$ mirage configure -t xen --dhcp true
$ make
```
diff --git a/tmpl/wiki/mirage-www.md b/tmpl/wiki/mirage-www.md
index 49cb3b92f..8abe886f2 100644
--- a/tmpl/wiki/mirage-www.md
+++ b/tmpl/wiki/mirage-www.md
@@ -52,7 +52,7 @@ Then configure and build the website itself:
```
$ cd src
-$ mirage configure --unix --kv_ro crunch --net socket
+$ mirage configure -t unix --kv_ro crunch --net socket
$ make
```
@@ -78,7 +78,7 @@ using `$ sudo ifconfig tap0 10.0.0.1 up`, then:
```
$ cd src
-$ mirage configure --unix --net direct
+$ mirage configure -t unix --net direct
$ make
$ sudo ./mir-www
```
@@ -110,7 +110,7 @@ variables, so we can quickly try it as follows.
```
$ cd src
-$ mirage configure --unix --kv_ro fat
+$ mirage configure -t unix --kv_ro fat
$ make
$ sudo ./mir-www & sudo ifconfig tap0 10.0.0.1 255.255.255.0 && fg
```
@@ -149,7 +149,7 @@ default, for simplicity's sake.
```
$ cd src
-$ mirage configure --xen
+$ mirage configure -t xen
$ make
```
diff --git a/tmpl/wiki/tutorial-lwt.md b/tmpl/wiki/tutorial-lwt.md
index 3786e9cc7..f1b10977e 100644
--- a/tmpl/wiki/tutorial-lwt.md
+++ b/tmpl/wiki/tutorial-lwt.md
@@ -105,12 +105,12 @@ Add `foo.ml` with the following content and edit it:
Assuming you want to build as a normal Unix process, compile the application with:
```
- mirage configure --unix
+ mirage configure -t unix
make
./main.native
```
-If you prefer to build as a Xen kernel image, change the `--unix` to `--xen`.
+If you prefer to build as a Xen kernel image, change the `-t unix` to `-t xen`.
The `OS` module packs several sub-modules depending on the backend, [unix](https://github.com/mirage/mirage-platform/tree/master/unix/lib)
or [xen](https://github.com/mirage/mirage-platform/tree/master/xen/lib).
diff --git a/tmpl/wiki/xen-boot.md b/tmpl/wiki/xen-boot.md
index da8cb3035..3e28b56fa 100644
--- a/tmpl/wiki/xen-boot.md
+++ b/tmpl/wiki/xen-boot.md
@@ -14,7 +14,7 @@ You can launch this domain with `xm create -c app.cfg` (for Xen versions earlier
Alternatively, for Xen versions greater than 4.1, you can simply invoke Mirage to do this for you:
```
- $ mirage configure --xen
+ $ mirage configure -t xen
$ make
```
@@ -71,7 +71,7 @@ To use the EC2 `t1.micro` instances the kernel needs to reside inside an EBS vol
* Log out of instance
* Create EBS snapshot `ec2-create-snapshot ${VOLUME}`
-* You can stop the running mirco instance now
+* You can stop the running micro instance now
* Register your AMI using `ec2-register --snapshot ${SNAPSHOT} --kernel aki-4e7d9527 --architecture x86_64` Note the familiar kernel id: This is the pv-grub kernel that is also used in `script/ec2.sh`.
* Start your EBS backed MirageOS kernel in a micro instance: `ec2-run-instances ${EBSAMI} -k mirage -t t1.micro`