[[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

There is a patch in the README file, to change to %%gs:0 in libl4/ia32/l4/bits/vregs.h in line 35. It should have been applied already in the checked out code. Do verify.

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=/absolute/path/to/build
    cd build

Check Makeconf.local:

    make menuconfig
    Kernel->Enable experimental features->Pager ExchangeRegisters
     
    make

## Build sigma0

    cd user

    autoheader
    autoconf
    ./configure
    make

## Test!

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.