Getting Mungi going on Sulima

Summary: This details the process of running Mungi on the MIPS simulator Sulima.

This tutorial assumes you have access to the DiSY CVS tree - ie, you are in the 'disy' group at UNSW and that you're using bash.

First ensure that the cross compiler is in your path:
$ export PATH=/home/disy/crossdev/$ARCH/bin:$PATH

Get a copy of the "pistachio" version of L4. Instructions on checking out a copy of pistachio from public CVS are available at http://l4ka.org/download/.

Now build pistachio:

cd kernel
make BUILDDIR=<path to pistachio root>/build-kernel
cd ../build-kernel
make menuconfig
Configure the kernel for a mips64-u4600 target. Enable kernel debugging and ensure that the break-in is enabled for debugging. Then hit s to save and q to quit the configuration tool.
make

You will also need to build the user-level part. Perversely, it is configured totally differently:

cd ../user (to get you into the user directory off the pistachio root directory)
If there is no 'configure' here, run autoheader followed by autoconf. If autoconf dies horribly ensure that you are running a recent (>=2.50) version; on wagner.cse you need to explicity run autoconf2.50
cd .. (to get back into the pistachio/ directory)
mkdir build-user
cd build-user
../user/configure --host=mips64-u4600
make

Now build Mungi against this L4. First ensure that you have the pax comiler available. If you check out the pax compiler into the same directory you check out Mungi you need not fiddle with paths (ie, you have Mungi/ and pax_compiler/ in the same dir).

The pax compiler is in DiSY CVS; check it out and build it (module name pax_compiler).

Now check out Mungi from DiSY CVS (module name Mungi).

Create a Makefile.local file in the root of the checked-out Mungi directory. Makefile.local, if it exists, is included by Makefile.conf; this allows site customisation that doesn't result in CVS conflicts.

Set the following in Makefile.local:

MUNGI_ARCH ?= mips_v4_u4600
L4RROOT ?= ../pistachio
L4BUILDDIR ?= $(L4ROOT)/build-user

Ensure that ../pistachio is in fact where you have copied pistachio. Now make Mungi: make.

Now build Sulima. Sulima is in DiSY CVS (module sulima). Build Sulima by typing ./install - this does not actually perform any installation.

Run Sulima by typing ./u4600 path-to-bootimg . The boot image for a Mungi kernel can be found in Mungi/build/architecture/mungi.bootimg . For Sulima, the path will be Mungi/build/mips_v4_u4600/mungi.bootimg .