Genode & Fiasco Update

This section covers the updates for Genode and Fiasco.OC.

Agenda

foc r78         + Genode 18.02
focnados r78 + Genode Focnados 18.02
Genode Focnados 18.02 Taskloader

Genode Focnados 18.02 Checkpoint-Restore

Genode Focnados 18.02 seL4

Setup

The default setup listed below is based on Genode 16.08 and foc r67. To use the new versions Genode 18.02 and foc r78 please take a look at “Structure of directories”.

If you like to use a VM for this project, please follow the steps on the ArgOS-research website.

If you like to use your native machine, just git clone https://github.com/argos-research/operating-system.git and execute ./setup.sh . This will build the project “dom0-HW” on platform “focnados_panda” by default. Please adjust the MAKEFILE to your needs.

Structure of directories

Genode 18.02 and foc r78:
Malsami Genode/branch_18.02_r78

Genode 18.02 and focnados r78:
Malsami Genode/branch focnados_18.02_r78

Checkpoint Restore and Taskloader for Genode 18.02 and focnados r78:
Malsami Genode/branch 18.02