OpenBSD port to the Fiasco-UX/L4 microkernel
============================================

Build kernel:

 - setup a Linux machine
 - unpack l4re-snapshot, compile fiasco and L4
   ( e.g. in /home/l4/ )
 - unpack this source tree into that base path
   ( e.g. in /home/l4/openbsd/src )
 - export the /home/l4 path via NFS

 - setup an OpenBSD machine with a version corresponding to these sources!
   - find current version with
     # grep "^osr" /home/l4/openbsd/src/sys/conf/newvers.sh
 - import the /home/l4 path via NFS (needs to be the same path on both machines)
 - adjust the kernel configuration to point to your L4 build directory
   - edit /home/l4/openbsd/src/sys/arch/i386/conf/L4 and change the
     makeoption L4_BUILDDIR
 - build the kernel on OpenBSD
   # cd /home/l4/openbsd/
   # mkdir -p obj/sys
   # cd obj/sys
   # ln -s /home/l4/openbsd/src/sys/arch/i386/conf/L4 .
   # config -b . -s /home/l4/openbsd/src/sys/ L4
   # make clean depend
   # make
   [ lots of output => generates file: bsd ]

 - copy final "bsd" to l4loader directory on Linux machine
 - in l4loader directory on the Linux host:
 - edit Makefile and set L4_BUILDDIR as for the OpenBSD kernel configuration
   above
   # make
   [ less output => generates: l4bsd ]

Build ramdisk:

 - on your OpenBSD machine, build the complete userland
   # mkdir -d /usr/obj
   # rm -rf /usr/obj/*
   # set BSDSRCDIR=/home/l4/openbsd/src/
   # set BSDOBJDIR=/home/l4/openbsd/obj/
   # cd $BSDSRCDIR
   # echo "BSDSRCDIR=$BSDSRCDIR" >> /etc/mk.conf
   # echo "BSDOBJDIR=$BSDOBJDIR" >> /etc/mk.conf
   # make obj
   # cd $BSDSRCDIR/distrib/special
   # make
   # cd $BSDSRCDIR/distrib/`uname -m`/ramdisk_cd/
   # make mr.fs

 - copy the resulting obj/mr.fs file to your Linux machine

Run:
 - treat "l4bsd" as if it was vmlinu[xz] from L4Linux
 - treat "mr.fs" as if it was the initrd from L4Linux
   (load as command line parameter lx_rd=rom/mr.fs)

General hints:

  If you need debugging symbols in your userland binaries, add DEBUG and/or
  DEBUGLIBS to /etc/mk.conf. See mk.conf(5) for details.

  To add support for debugging symbols in your kernel, add the DEBUG kernel
  config(8) option. (NOTE: This is known to be broken at the moment.)