Genode OS 18.11 Gets SSH Server Support, MirageOS Unikernels & SDK

[phoronix]

Phoronix: Genode OS 18.11 Gets SSH Server Support, MirageOS Unikernels & SDK

Genode, the open-source operating system framework focused on a micro-kernel layer and various innovative user-space components, is out with its latest feature update. The developers at Genode Labs also continue bringing up their Sculpt OS effort for Genode as a general purpose operating system...

http://www.phoronix.com/scan.php?page=news_item&px=Genode-OS-18.11-Released

[cybertraveler]

I like the idea of this microkernel & OS but the fact it's largely written in C++ puts me off ( https://github.com/genodelabs/genode ).

[profoundWHALE]

I like the idea of this microkernel & OS but the fact it's largely written in C++ puts me off ( https://github.com/genodelabs/genode ).

Well it's not like the had Rust around when they started...

[microcode]

I like the idea of this microkernel & OS but the fact it's largely written in C++ puts me off ( https://github.com/genodelabs/genode ).

The XML is where it gets me, personally.

That said, it is the only way right now that you're going to get a full system up and running as an average hobbyist; and they have some really cool stuff implemented, including full binary compatibility between several kernels.

C++ ain't so bad, if it's used correctly. Many of the features in it are pretty spectacular (polymorphic functions, auto [especially the combination of polymorphs, auto, and decltype). It's just that they have basically no hope of verifying it symbolically, as far as I can tell.