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!
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
build the kernel on OpenBSD
[ 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
[ less output => generates: l4bsd ]
Build ramdisk:
on your OpenBSD machine, build the complete userland
uname -m
/ramdisk_cd/copy the resulting obj/mr.fs file to your Linux machine
Run:
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.)