timeout 0

title   Barrelfish
root    (nd)

kernel  /gicevaj/x86_64/sbin/cpu loglevel=4
module  /gicevaj/x86_64/sbin/init
module  /gicevaj/x86_64/sbin/mem_serv
module  /gicevaj/x86_64/sbin/monitor

module  /gicevaj/x86_64/sbin/chips
module  /gicevaj/x86_64/sbin/skb boot
module  /gicevaj/x86_64/sbin/pci boot
module /gicevaj/x86_64/sbin/boot_manager boot
module  /gicevaj/x86_64/sbin/serial
module  /gicevaj/x86_64/sbin/fish

module /gicevaj/x86_64/sbin/lpc_timer