From 6930372d5593f93816984c053e0b98ad67692019 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Sun, 6 Dec 2020 11:30:45 +0100 Subject: [PATCH] base-foc: remove stale README content --- repos/base-foc/README | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) diff --git a/repos/base-foc/README b/repos/base-foc/README index 53d39fd575..8ecf63b40d 100644 --- a/repos/base-foc/README +++ b/repos/base-foc/README @@ -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