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.