#! /bin/bash

# This is the runux script for the l4vfs name_server testcase

. ${0%/*}/generic.inc

fiasco  -G 800x600@16 \
	-m 128 \
        -n8 \
        -l names              \
        -l log \
        -l "dm_phys --events"   \
        -l con-ux \
        -l l4io \
        -l ore \
        -l events \
        -l "simple_ts --events" \
        -l bmodfs            \
        -d $L4PATH/libld-l4.s.so      \
        -d $L4PATH/run \
        -d $L4PATH/libloader.s.so    \
        -d $L4PATH/vmlinux \
        -d $L4PATH/image-bb \
        -d $CFGPATH/bmitest.cfg \
        -d $L4PATH/bmi_cmd \
        -l "loader --events --fprov=BMODFS run bmitest.cfg" \
        -l "cbbmi" 
