From 5c3ad93b7b4ea76506da3d9dd51c0a8d08d563c7 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Mon, 18 Sep 2017 11:27:21 +0100 Subject: [PATCH] -typo --- Home | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Home b/Home index 9ce096b..818778d 100644 --- a/Home +++ b/Home @@ -4,7 +4,7 @@ title: What is robur? At robur, we build performant bespoke minimal operating systems for high-assurance services. With our approach to systems development we provide the following advantages for you: * systems based on the unikernel pioneer [MirageOS](https://mirage.io) -* secure implementation guarded against memory corruption, typelevel problems, leaky abstraction and unforseen state +* secure implementation guarded against memory corruption, typelevel problems, leaky abstraction and unforeseen state * ready for the cloud, services run on all major hypervisors * instant boot * competitive performance comparable to C