#!/bin/sh
# runs IN the guest as root (see run.sh for the host-side driver)
cd /root/rt
cc -o craft craft.c
cc -I/usr/src -o dumpsb dumpsb.c
cc -o reload reload.c
echo BUILD_OK