ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 21:57:55 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
7917c5d9ec
genode/repos/base-foc
History
Christian Helmuth abc9a2f232 depot: update recipe hashes
2021-10-14 13:46:25 +02:00
..
config
etc
include
lib
patches foc: fix errors with gcc 10 and binutils 2.36 2021-05-10 11:16:24 +02:00
ports foc: fix errors with gcc 10 and binutils 2.36 2021-05-10 11:16:24 +02:00
recipes/src depot: update recipe hashes 2021-10-14 13:46:25 +02:00
run
src base: extend cache maintainance functionality 2021-06-25 11:43:41 +02:00
README

README 

This repository contains the port of Genode to the Fiasco.OC microkernel.

:[https://os.inf.tu-dresden.de/fiasco]:
  Official website for the Fiasco.OC microkernel