diff options
-rw-r--r-- | microkernel/building.mdwn | 104 |
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. |