1timeout 0
2
3# spawnd is used to control which cpus are booted
4#
5# "spawnd boot" will use the skb and pci to figure out and
6#  boot all cores in the machine
7#
8# "spawnd boot bootapic-x86_64=1-5" will not use the skb and
9# boot the list of cores passed as argument.
10# The APIC id of the cores to boot should be specified.
11# This list may not include the bsp core id.
12
13title	Barrelfish
14root	(nd)
15kernel	/x86_64/sbin/elver loglevel=3
16module	/x86_64/sbin/cpu loglevel=3
17module	/x86_64/sbin/init
18
19# Domains spawned by init
20module	/x86_64/sbin/mem_serv
21module	/x86_64/sbin/monitor
22
23# Special boot time domains spawned by monitor
24module  /x86_64/sbin/ramfsd boot
25module  /x86_64/sbin/skb boot
26modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
27modulenounzip /skb_ramfs.cpio.gz nospawn
28module  /x86_64/sbin/kaluga boot
29module  /x86_64/sbin/acpi boot
30module  /x86_64/sbin/spawnd boot
31module  /x86_64/sbin/proc_mgmt boot
32#bootapic-x86_64=1-15
33module  /x86_64/sbin/startd boot
34module /x86_64/sbin/routing_setup boot
35
36# Drivers
37module /x86_64/sbin/pci auto
38module /x86_64/sbin/corectrl auto
39module /x86_64/sbin/ahcid auto
40module	/x86_64/sbin/serial_pc16550d auto
41
42## For networking
43module /x86_64/sbin/e1000n auto
44module /x86_64/sbin/net_sockets_server nospawn
45
46# General user domains
47module  /x86_64/sbin/fish nospawn
48module	/x86_64/sbin/angler serial0.terminal xterm
49
50