The Design and Implementation of the Anykernel and Rump Kernels

B–27
# This script starts a rump kernel with NFS serving capability,
# configures a network interface and starts hijacked binaries
# which are necessary to serve NFS (rpcbind, mountd, nfsd).
#
# directory used for all temporary stuff
NFSX=/tmp/nfsx
# no need to edit below this line
haltserv()
{
RUMP_SERVER=unix://${NFSX}/nfsserv rump.halt 2> /dev/null
RUMP_SERVER=unix://${NFSX}/nfscli rump.halt 2> /dev/null
}
die()
{
}
haltserv
echo $*
exit 1
# start from a fresh table
haltserv
rm -rf ${NFSX}
mkdir ${NFSX} || die cannot mkdir ${NFSX}
# create ffs file system we’ll be exporting
newfs -F -s 10000 ${NFSX}/ffs.img > /dev/null || die could not create ffs
# start nfs kernel server. this is a mouthful
export RUMP_SERVER=unix://${NFSX}/nfsserv
rump_server -lrumpvfs -lrumpdev -lrumpnet \
-lrumpnet_net -lrumpnet_netinet -lrumpnet_local -lrumpnet_shmif \
-lrumpdev_disk -lrumpfs_ffs -lrumpfs_nfs -lrumpfs_nfsserver \