Add information about "physmem".

1 files changed, 5 insertions, 1 deletions

diff --git a/README b/README
index 8b5fc39..0b4f528 100644
--- a/README
+++ b/README
@@ -22,9 +22,13 @@ $ make CFLAGS=-I/l4/include\ -g\ -O3
 $ mkdir /l4/boot
 $ cp laden/laden /l4/boot
 $ cp wortel/wortel /l4/boot
+$ cp physmem/physmem /l4/boot
 
 You also need the L4 kernel and sigma0.  sigma0 must be built with a
 different link base than the default value 0x20000, because that
 conflicts with GRUB (on ia32).  I have successfully used a link base
 of 0x40000.  Then set up GRUB to boot laden as the kernel, and the L4
-kernel, sigma0 and wortel (the rootserver) as its modules.
+kernel, sigma0, wortel (the rootserver) and physmem as its modules.
+
+Try the debug option (-D) to laden and wortel to see some output from
+them.  They are silent by default.