diff options
Diffstat (limited to 'microkernel/building.mdwn')
| -rw-r--r-- | microkernel/building.mdwn | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/microkernel/building.mdwn b/microkernel/building.mdwn index e06092a0..4a18423f 100644 --- a/microkernel/building.mdwn +++ b/microkernel/building.mdwn @@ -10,37 +10,37 @@ is included in the section entitled ## Viengoos build -### Checkout hurd-l4 +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 +Configure: autoreconf -i mkdir test build -### Make check on test (fails to complete as on July 7, 2008) +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 +Build the compiler: cd ../build ../configure --enable-l4-abi=x2 --host=i686-pc-viengoos-gnu --with-newlib -### Build cross-compiler +Build cross-compiler: make -### Build Viengoos proper +Build Viengoos proper: make -### Install the built executables +Install the built executables: cd .. mkdir install @@ -50,18 +50,18 @@ Apply hurd-l4/libl4/ patch to change to gs:0 on line 35. ## BUILD L4 -### Get Pistachio using hg +Get Pistachio using hg: hg clone http://hg.l4ka.org/l4ka-pistachio -### Build +Build: cd kernel make BUILDDIR=build cd build -Check Makeconf.local +Check Makeconf.local: make menuconfig Kernel->Enable experimental features->Pager ExchangeRegisters @@ -97,8 +97,8 @@ Use the following to boot: At grub prompt: - grub> root (hd0,0) + grub> root (hd0,0) - grub> configfile /menu.lst + grub> configfile /menu.lst It will boot to a kernel debugger prompt. |