summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--microkernel/building.mdwn104
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.