OS2 World Community Forum

Public Discussions => Off Topic discussions => Topic started by: Martin Iturbide on March 01, 2017, 03:29:33 pm

Title: Genode OS Framework version 17.02
Post 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

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


Title: Re: Genode OS Framework version 17.02
Post by: Sergey Posokhov on March 02, 2017, 07:20:45 pm
Quote
Muen separation kernel updated to version 0.8
According to their website, Muen is a:
Quote
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:
Quote
«Rail, Space, Security: Three Case Studies for SPARK 2014»
It seems to be completely useless for common tasks. But... somewhere... 8)
Title: Re: Genode OS Framework version 17.02
Post by: Martin Iturbide on March 02, 2017, 10:22:56 pm
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
Title: Re: Genode OS Framework version 17.02
Post by: Valery Sedletski on March 02, 2017, 11:12:53 pm
The Muen separation kernel is one of the target kernels. Genode itself is C++.