genode/repos/base-fiasco
2020-02-20 12:11:23 +01:00
..
config
doc Disambiguate kernel-specific file names 2016-12-23 16:51:32 +01:00
etc fiasco: remove etc from depot recipe 2017-11-06 13:57:19 +01:00
lib Reduce third-party kernel build warnings 2019-06-13 12:22:49 +02:00
patches fiasco: fix compilation with GCC 6 2017-05-31 13:15:57 +02:00
ports Replace SHA1 hashes of port downloads with SHA256 2018-05-30 13:36:22 +02:00
recipes/src/base-fiasco depot: update recipe hashes 2020-02-20 12:11:23 +01:00
src base: use blockade in thread 2020-02-20 12:11:22 +01:00
README

This repository contains the L4/Fiasco-specific implementation of Genode.

For instructions to build and start the Fiasco version of Genode, please
consult the documentation located at 'base-fiasco/doc/fiasco.txt'.