1 # This file assumes make install has installed demo bits under:
\r
2 # $(TFTP_ROOT)/barrelfish/x86_64.
\r
5 title Barrelfish-demo
\r
7 kernel /barrelfish/x86_64/sbin/cpu loglevel=3 logmask=0
\r
11 module /barrelfish/x86_64/sbin/init
\r
12 module /barrelfish/x86_64/sbin/mem_serv
\r
13 module /barrelfish/x86_64/sbin/monitor bootcpus=1-15
\r
14 module /barrelfish/x86_64/sbin/chips
\r
15 module /barrelfish/x86_64/sbin/skb
\r
16 module /barrelfish/x86_64/sbin/pci
\r
20 module /barrelfish/x86_64/sbin/lpc_timer
\r
21 module /barrelfish/x86_64/sbin/serial
\r
22 module /barrelfish/x86_64/sbin/e1000n core=11 irq
\r
26 module /barrelfish/x86_64/sbin/fish
\r
30 module /barrelfish/x86_64/sbin/bfscope core=15
\r
31 module /barrelfish/x86_64/sbin/spantest nospawn
\r
32 module /barrelfish/x86_64/sbin/pixels nospawn
\r