title Fiasco - Console [bmodfs]
        kernel (nd)/fiasco/bin2/rmgr -sigma0 task modname "bmodfs" module module task modname "L4Linux task"
	modaddr 0x02000000
	module (nd)/fiasco/bin2/kernel -nowait -nokdb -nofancy -serial -comspeed 115200 -comport 1
	module (nd)/fiasco/bin2/sigma0
	module (nd)/fiasco/bin2/names
	module (nd)/fiasco/bin2/log
	module (nd)/fiasco/bin2/events
	module (nd)/fiasco/bin2/dm_phys --events
	module (nd)/fiasco/bin2/simple_ts --events --tasks 128
	module (nd)/fiasco/bin2/l4io --noirq
        module (nd)/fiasco/bin2/bmodfs
		module (nd)/fiasco/bin2/libloader.s.so
		module (nd)/fiasco/bin2/run
	module (nd)/fiasco/bin2/l4exec
        module (nd)/fiasco/bin2/rtc
	module (nd)/fiasco/bin2/con --events --l4io
	module (nd)/fiasco/bin2/loader --events --fprov=BMODFS run
	vbeset 0x117