From c9273fb4a0a4f035c1e0bdddca0a7af6693be3a6 Mon Sep 17 00:00:00 2001 From: linse Date: Sat, 16 Sep 2017 19:03:36 -0400 Subject: [PATCH] Reword Dependency --- Technology | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/Technology b/Technology index 525e785..1583ba2 100644 --- a/Technology +++ b/Technology @@ -130,12 +130,12 @@ AES128-CBC). The TLS handshake performance is equal with OpenSSL. ### Dependency management -MirageOS leverages OCaml's unique module system, a programming language evaluated at compile time, to adapt the unikernel to the compilation target. -In MirageOS, each operating system service, such as the console, the -network stack, the random number generator, is a module on its own. -There are multiple implementations for each service. -An example is that on UNIX the sockets API of the host is used as networking stack. On a -unikernel, the TCP/IP stack natively implemented in OCaml is used. +MirageOS leverages OCaml's module system to adapt the unikernel to the compilation target. +Each operating system service in MirageOS is a module, for example the console, the +network stack, the random number generator. +Each of the services has multiple implementations that are chosen based on the target. +On UNIX, the sockets API of the host is used as networking stack. On a +unikernel, the TCP/IP stack natively implemented in OCaml is being used. A MirageOS developer does not need to reason about compilation targets, just about the module interface.