@@ -15,7 +15,7 @@ applications are found at <https://github.com/mirage/mirage-skeleton>.
15
15
16
16
This repository includes:
17
17
18
- * a commmand -line tool to create and deploy applications with Mirage.
18
+ * a command -line tool to create and deploy applications with Mirage.
19
19
* in ` types/ ` , a library of type signatures that compliant applications use.
20
20
21
21
There are several diverse backends in Mirage that require rather specialised
@@ -60,13 +60,13 @@ will configure your project. It will generate a `Makefile` and
60
60
` main.ml ` with the appropriate boilerplate for your chosen
61
61
platform.
62
62
63
- To configure for the unix -direct target (using tap interfaces), do:
63
+ To configure for the Unix -direct target (using tap interfaces), do:
64
64
65
65
```
66
66
mirage configure --unix
67
67
```
68
68
69
- To build for the xen target, do:
69
+ To build for the Xen target, do:
70
70
71
71
```
72
72
mirage configure --xen
@@ -100,11 +100,11 @@ mirage run # [--unix or --xen]
100
100
101
101
will run the unikernel on the selected backend.
102
102
103
- * Under the unix -direct backend (` --unix ` ), ` mirage ` sets up a virtual
103
+ * Under the Unix -direct backend (` --unix ` ), ` mirage ` sets up a virtual
104
104
interface (tap) is passes its fd to the unikernel that will use it to
105
105
perform networking operations.
106
106
107
- * Under the xen backend (` --xen ` ), ` mirage ` creates a xl configuration
107
+ * Under the Xen backend (` --xen ` ), ` mirage ` creates a xl configuration
108
108
file and uses ` xl ` to run the unikernel locally. Xen has to be
109
109
installed and running on the machine.
110
110
@@ -113,6 +113,6 @@ will run the unikernel on the selected backend.
113
113
In order to deploy a Mirage unikernel to Amazon EC2, you need to
114
114
install the AWS tools on your machine, build a unikernel with the
115
115
` --xen ` option and then use the ` ec2.sh ` script (in directory
116
- ` script ` ) in order to register you kernel with AWS. Then you can start
117
- your kernel with the web interface to AWS or any other mean AWS
116
+ ` script ` ) in order to register your kernel with AWS. Then you can start
117
+ your kernel with the web interface to AWS or any other means AWS
118
118
provides to start EC2 instances.
0 commit comments