1 files changed, 104 insertions, 0 deletions

diff --git a/microkernel/building.mdwn b/microkernel/building.mdwn
new file mode 100644
index 00000000..e06092a0
--- /dev/null
+++ b/microkernel/building.mdwn
@@ -0,0 +1,104 @@
+[[meta copyright="Copyright © 2008 Free Software Foundation, Inc."]]
+
+[[meta license="""[[toggle id="license" text="GFDL 1.2+"]][[toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled
+[[GNU_Free_Documentation_License|/fdl]]."]]"""]]
+
+## Viengoos build
+
+### Checkout hurd-l4
+
+    cvs -z3 -d :pserver:anonymous@cvs.savannah.gnu.org:/sources/hurd co hurd-l4
+
+Apply hurd-l4/libl4/ patch to change to gs:0 on line 35.
+
+### Configure
+
+    autoreconf -i
+    mkdir test build
+
+### Make check on test (fails to complete as on July 7, 2008)
+
+    cd test
+    ../configure --enable-l4-abi=x2 --host=i686-pc-viengoos-gnu --enable-tests
+    make check
+
+### Build the compiler
+
+    cd ../build
+    ../configure --enable-l4-abi=x2 --host=i686-pc-viengoos-gnu --with-newlib
+
+### Build cross-compiler
+
+    make
+
+### Build Viengoos proper
+
+    make
+
+### Install the built executables
+
+    cd ..
+    mkdir install
+    install -s build/laden/laden install
+    install -s build/viengoos/viengoos install
+    install -s build/hieronymus/hieronymus install
+
+## BUILD L4
+
+### Get Pistachio using hg
+
+    hg clone http://hg.l4ka.org/l4ka-pistachio
+
+### Build
+
+   cd kernel
+
+   make BUILDDIR=build
+   cd build
+
+Check Makeconf.local
+
+    make menuconfig
+    Kernel->Enable experimental features->Pager ExchangeRegisters
+     
+    make
+
+## Build sigma0
+
+    cd user
+
+    autoheader
+    autoconf
+    ./configure
+    make
+
+Install all executables to /usr/local/hurd. Create a menu.lst
+
+    title The GNU Hurd on L4
+    root (hd0,0)
+    kernel /laden -D
+    module /x86-kernel
+    module /sigma0
+    module /viengoos -D 3 -o serial
+    module /hieronymus -D 3
+
+Get specific grub version:
+
+     wget ftp://alpha.gnu.org/gnu/grub/grub-0.97-i386-pc.ext2fs
+
+Use the following to boot:
+
+    qemu -serial stdio -hdb fat:/usr/local/hurd -fda grub-0.97-i386-pc.ext2fs -boot a
+
+At grub prompt:
+
+   grub> root (hd0,0)
+
+   grub> configfile /menu.lst
+
+It will boot to a kernel debugger prompt.