Public Discussions > Off Topic discussions
Genode OS Framework version 17.02
(1/1)
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
--- Quote ---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
--- End quote ---
Sergey Posokhov:
--- Quote ---Muen separation kernel updated to version 0.8
--- End quote ---
According to their website, Muen is a:
--- Quote ---Minimal SK for the Intel x86/64 architecture written in SPARK 2014
--- End quote ---
And SPARK is an extension to Ada programming language. There are brief introduction to it:
--- Quote ---«Rail, Space, Security: Three Case Studies for SPARK 2014»
--- End quote ---
It seems to be completely useless for common tasks. But... somewhere... 8)
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++.
Navigation
[0] Message Index
Go to full version