From 32086923a395787439ff2fe099ae066423a2f343 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sat, 6 Jan 2018 18:05:19 +0100 Subject: [PATCH] . --- Home | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Home b/Home index 8c3f7b7..2d75f94 100644 --- a/Home +++ b/Home @@ -9,8 +9,8 @@ At robur, we build performant bespoke minimal operating systems for high-assuran With our approach to systems development we provide the following advantages for you: * cutting-edge systems programming and security research * systems based on the unikernel pioneer [MirageOS](https://mirage.io) -* secure implementation guarded against memory corruption, typelevel problems, leaky abstraction and unforeseen state -* ready for the cloud, services run on all major hypervisors +* secure implementation guarded against memory corruption, type-level problems, leaky abstraction and unforeseen state +* ready for the cloud, runs on all major hypervisors * instant boot (milliseconds) * competitive performance to C implementations * can target embedded devices, small size (~4% of UNIX based system), compilation to native code