From 06309172abb6089b4213310087a8ad1eeda3adbb Mon Sep 17 00:00:00 2001 From: Simon Pickartz Date: Wed, 7 Sep 2016 11:01:16 +0200 Subject: [PATCH] second try to fix internal links --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 8affc5811..f8238731a 100644 --- a/README.md +++ b/README.md @@ -42,7 +42,7 @@ On Debian-based systems the packets can be installed by executing: *Note*: to launch HermitCore applications, root privileges are required. -1. In principle you have to follow the tutorial above. After the configuration (Step 2 in the [above tutorial](## Building and testing HermitCore within a virtual machine)) go to the subdirectory `linux`, which contains the source code of the Linux kernel. Configure the kernel with `make menuconfig` for your system. Be sure, that the option `CONFIG_HERMIT_CORE` in `Processor type and features` is enabled. +1. In principle you have to follow the tutorial above. After the configuration (Step 2 in the [above tutorial](#building-and-testing-hermitcore-within-a-virtual-machine)) go to the subdirectory `linux`, which contains the source code of the Linux kernel. Configure the kernel with `make menuconfig` for your system. Be sure, that the option `CONFIG_HERMIT_CORE` in `Processor type and features` is enabled. 2. Go back to the root directory of this repository and build with `make` the Linux kernel, the HermitCore kernel, the cross-compiler, and the demo applications. 3. Install the Linux kernel and its initial ramdisk on your system (see descriptions of your Linux distribution). We recommend to disable Linux NO_HZ feature by setting the kernel parameter `no_hz=off`. This feature reduces partly the OS noise, but noise sensitive applications should now run on HermitCore.