Gneiss on Linux

Changes:

• Support for complex multi-process on Linux
• Use RecordFlux for internal communication
• Ability to run as init process on Linux
• Custom build system to build system configurations
• Better consistency between session availability on different platforms
• Shared memory and message sessions
• Support for GNAT CE 2020

Supported Systems:

• Linux
• Genode

Sessions:

• Log
• Memory
• Message
• Timer
• Rom
• Block (only on Genode)

First public release

Supported systems:

• Genode
• Muen
• Linux

Session types:

• Logging
• Block devices (only client on Linux)
• Timer
• ROM / static configuration