ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 05:37:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
65284b29f8
genode/repos/base-foc
History
Christian Helmuth 65284b29f8 depot: update recipe hashes
2022-01-19 12:38:13 +01:00
..
config
etc
include base: avoid implicit conversions 2021-12-17 15:04:44 +01:00
lib base: refactor VM/vCPU API 2021-02-23 12:07:18 +01:00
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 2022-01-19 12:38:13 +01:00
run
src foc: disable thread execution time readout 2022-01-19 12:35:49 +01: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