If you are looking for something from the microkenel world, there is a statement dealing with Genode OS. * https://news.ycombinator.com/item?id=16084617 https:

If you are looking for something from the microkenel world, there is a statement dealing with Genode OS. * https://news.ycombinator.com/item?id=16084617 https://news.ycombinator.com/item?id=16084617