You can configure LUK by:

$ mkdir -p build-luk $HOME/opt
$ cd build-luk
$ ../student-luk-1.0.8/configure --prefix=/usr

The above must be done if any change in student-luk-1.0.8/ is made. For example in order to undertake the various lab exercises you will need to set the APPLICATION variable inside

It would be sensible to now check which directory you are in via:

$ pwd

Write down the output of pwd as you will need to come back to this directory next time to work on LUK.

To build LUK type:

$ make

Once this compiles cleanly the LUK image can be placed onto a usb memory stick if required to run on another machine or alternatively the microkernel can be run under a emulator.

Running LUK on an emulator

To run LUK under the emulator qemu type the following:

$ make run

Placing LUK onto a USB stick

  • Note that this will completely trash the usb memory stick! You can reuse the memory stick of course - but it will require reformatting. Please use a spare memory stick and physically mark it to avoid any mistakes!

To place the LUK image onto the usb memory stick you can either use an Ubuntu client (in J204/J202/J208/J210) or if you are in J203 switch to the console of the ltsp client.

The ltsp console can be activated by pressing <alt><ctrl><f1>. You can switch back to the graphics mode via <alt><f7>. Assuming you are now at the console on the ltsp client, login and change to the correct directory.

cd build directory you wrote down
make bootusb

Notice that you will need to modify your build-luk/Makefile to reflect the usb device (most likely /dev/sdb). Open up build-luk/Makefile in your favourite editor and change the line:

# set USBDEVICE to your usb device


# set USBDEVICE to your usb device

or the appropriate device. You should be able to see the device by typing the following at the command line:

$ df -h
/dev/sdb      1424   1381    43  97% /media/foobar

which indicates the /dev/sdb is mounted onto /media/foobar.

You will be prompted to press enter to confirm that you are about to trash the contents of the usb memory stick and then it will place LUK onto the device. Now find an unused computer in and place the usb memory stick into the usb port and reboot the computer. You should see some bios diagnostics and then some messages saying the micro kernel is coming to life.