OS2 World Community Forum
Public Discussions => Off Topic discussions => Topic started by: Martin Iturbide on March 01, 2017, 03:29:33 pm
-
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
-
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... 8)
-
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
-
The Muen separation kernel is one of the target kernels. Genode itself is C++.