Replace Solar5 by Solo5

Signed-off-by: Thomas Gazagnaire <thomas@gazagnaire.org>
This commit is contained in:
Thomas Gazagnaire 2017-06-22 17:26:48 +02:00
parent 83d615e2d1
commit e1ab0e75a9

View File

@ -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 cant break out of the type system to have side effects, which you can have in Go or with unsafe pointers in Rust.