2021-04-20 12:10:58 +02:00
..
2021-04-20 12:10:58 +02:00
2021-04-20 12:10:58 +02:00

This source-code repository contains genuine low-level OS components and
interfaces of Genode. It solely depends on the framework's base API.