Genode OS Framework version 17.02

[Martin Iturbide]

Hi.

As an off topic things I always like to see what is happening on other OSes project, specially on microkernel/hybrid kernel projects... and I also think it is a good idea to make friends outside the OS/2 community

Yesterday I got the message that "Genode OS Framework version 17.02" was released.
https://genode.org/documentation/release-notes/17.02

For a brief summary:

- Genode application binary interface (ABI)
- Enhanced infrastructure for virtual file systes (VFS)
  - VFS support for synchronous I/O and reconfiguration
  - Rump-kernel-based file systems as VFS plugin
  - Linux TCP/IP stack as VFS plugin
- New execution model of the C runtime
- Dynamically reconfigurable init component
- Generic user-input-processing component
- Improved SD-card drivers, added support for i.MX6
- Muen separation kernel updated to version 0.8

[Sergey Posokhov]

Muen separation kernel updated to version 0.8

According to their website, Muen is a:

Minimal SK for the Intel x86/64 architecture written in SPARK 2014

And SPARK is an extension to Ada programming language. There are brief introduction to it:

«Rail, Space, Security: Three Case Studies for SPARK 2014»

It seems to be completely useless for common tasks. But... somewhere...

[Martin Iturbide]

Hi Sergey

The source code looks  C++ to me.
https://github.com/genodelabs/genode

I really don't know where is that SPARK language included. (or how it looks like)

Regards

[Valery Sedletski]

The Muen separation kernel is one of the target kernels. Genode itself is C++.