From ce47abf11c29d88863638d730d1b25f72cec6d4e Mon Sep 17 00:00:00 2001 From: linse Date: Sat, 16 Sep 2017 14:06:47 -0400 Subject: [PATCH] Move conclusion. --- About | 2 +- Home | 24 ++++++++++++++++++++++++ Technology | 22 ---------------------- 3 files changed, 25 insertions(+), 23 deletions(-) diff --git a/About b/About index b991bb5..cac3a49 100644 --- a/About +++ b/About @@ -6,7 +6,7 @@ abstract: some abstract ## Mission -At robur we to develop robust digital infrastructure. We achieve this goal +At robur we strive to develop robust digital infrastructure. We achieve this goal by continuous maintainence of permissively licensed (MIT/ISC/BSD) open source libraries, which are used by various partners and supporters. diff --git a/Home b/Home index d9473b7..114fe1c 100644 --- a/Home +++ b/Home @@ -54,3 +54,27 @@ compile to JavaScript from the same codebase, to ensure consistency. The strong and static type system helps to detect errors early, and enables rapid prototyping. For production use the prototype code can be further optimized for performance. + +## Conclusion + +MirageOS started as a research project, and has matured to a full suite for +building secure operating systems, with libraries that work well in production +and cover a variety of application needs. MirageOS is a game changer for secure +network services, since the attack surface is minimised to 1% of the size of +other contemporary operating systems. In addition, common attack vectors are +avoided by the usage of a programming language with memory safety. A unikernel +boots within tens of milliseconds, and services can be spawned on demand. When a +request (e.g. a DNS request) for a unikernel comes in, the kernel boots up, +handles the request, and is destroyed after an inactivity period. Only the +necessary services need to run, and they can be short-lived to minimize state in +the system. + +The choice of a high-level programming language also allows for rapid +prototyping, new features can be developed quickly. In contrast to scripting +languages, the code does not need to be re-implemented for production use (but +nevertheless can be fine-tuned for performance). + + +WHY YOU NEED THIS! +WHAT ERRORS WE CAN AVOID +HOW WE CAN HELP diff --git a/Technology b/Technology index 18b8135..d351c66 100644 --- a/Technology +++ b/Technology @@ -239,26 +239,4 @@ several areas: within which theorems about the code can be proven - Coq code will also be extractable to OCaml. -## Conclusion -MirageOS started as a research project, and has matured to a full suite for -building secure operating systems, with libraries that work well in production -and cover a variety of application needs. MirageOS is a game changer for secure -network services, since the attack surface is minimised to 1% of the size of -other contemporary operating systems. In addition, common attack vectors are -avoided by the usage of a programming language with memory safety. A unikernel -boots within tens of milliseconds, and services can be spawned on demand. When a -request (e.g. a DNS request) for a unikernel comes in, the kernel boots up, -handles the request, and is destroyed after an inactivity period. Only the -necessary services need to run, and they can be short-lived to minimize state in -the system. - -The choice of a high-level programming language also allows for rapid -prototyping, new features can be developed quickly. In contrast to scripting -languages, the code does not need to be re-implemented for production use (but -nevertheless can be fine-tuned for performance). - - -WHY YOU NEED THIS! -WHAT ERRORS WE CAN AVOID -HOW WE CAN HELP