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

base-foc: remove stale README content

Browse Source
This commit is contained in:
Norman Feske 2020-12-06 11:30:45 +01:00
parent a124f5b88d
commit 6930372d55
1 changed files with 2 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
repos/base-foc/README
View File

@ -1,9 +1,4 @@
This repository contains the port of Genode to the Fiasco.OC microkernel.
For further information, please refer to the following documents:
:[http://genode.org/community/wiki/GenodeOnFiascoOC - Genode on Fiasco.OC Wiki page]:
This Wiki page contains the information on how to build and use
Genode with Fiasco.OC.
:[http://os.inf.tu-dresden.de/fiasco]:
Official website for the Fiasco.OC microkernel.
:[https://os.inf.tu-dresden.de/fiasco]:
Official website for the Fiasco.OC microkernel