Author Topic: Genode OS Framework version 17.02  (Read 5970 times)

Martin Iturbide

  • OS2World NewsMaster
  • Global Moderator
  • Hero Member
  • *****
  • Posts: 4710
  • Karma: +41/-1
  • Your Friend Wil Declares...
    • View Profile
    • Martin's Personal Blog
Genode OS Framework version 17.02
« 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


Martin Iturbide
OS2World NewsMaster
... just share the dream.

Sergey Posokhov

  • Full Member
  • ***
  • Posts: 169
  • Karma: +8/-6
    • View Profile
    • OS/2 API Research
Re: Genode OS Framework version 17.02
« Reply #1 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)

Martin Iturbide

  • OS2World NewsMaster
  • Global Moderator
  • Hero Member
  • *****
  • Posts: 4710
  • Karma: +41/-1
  • Your Friend Wil Declares...
    • View Profile
    • Martin's Personal Blog
Re: Genode OS Framework version 17.02
« Reply #2 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
Martin Iturbide
OS2World NewsMaster
... just share the dream.

Valery Sedletski

  • Sr. Member
  • ****
  • Posts: 368
  • Karma: +2/-0
    • View Profile
Re: Genode OS Framework version 17.02
« Reply #3 on: March 02, 2017, 11:12:53 pm »
The Muen separation kernel is one of the target kernels. Genode itself is C++.