From e1ab0e75a924eba424f94426219236ca33613f44 Mon Sep 17 00:00:00 2001 From: Thomas Gazagnaire Date: Thu, 22 Jun 2017 17:26:48 +0200 Subject: [PATCH] Replace Solar5 by Solo5 Signed-off-by: Thomas Gazagnaire --- reports/2017-06-19-summit.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/reports/2017-06-19-summit.md b/reports/2017-06-19-summit.md index b2c0ef17d..cad516206 100644 --- a/reports/2017-06-19-summit.md +++ b/reports/2017-06-19-summit.md @@ -46,7 +46,7 @@ Everyone is debating right now for whether to use BMC or other standard (forgot - People are still working on it. D4Mac has quite a bit of that tech in it. - Short term focus is replacing standard system daemons with unikernel style components. - dhcpd is now being split up into OCaml components (some of which can run in de-privileged container, which communicates over a small channel) -- If you run Linuxkit on bare metal, you can isolate individual components in small VMs. Solar5 and ukvm projects with IBM. +- If you run Linuxkit on bare metal, you can isolate individual components in small VMs. Solo5 and ukvm projects with IBM. - Also looking at providing generic HTTPS service proxy - What is “type safe language”? Mostly OCaml, Rust coming soon. Means languages you can’t break out of the type system to have side effects, which you can have in Go or with unsafe pointers in Rust.