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/cpu loglevel=3
16module	/x86_64/sbin/init
17
18# Domains spawned by init
19module	/x86_64/sbin/mem_serv
20module	/x86_64/sbin/monitor
21
22# Special boot time domains spawned by monitor
23module  /x86_64/sbin/ramfsd boot
24module  /x86_64/sbin/skb boot
25module  /x86_64/sbin/spawnd boot bootapic-x86_64=1
26module  /x86_64/sbin/startd boot
27
28# General user domains
29module	/x86_64/sbin/hellotest core=0
30module	/x86_64/sbin/hellotest core=1
31
32# Phyiscal memory at 1MB up to 512MB 
33# (This should match the physical memory size configured
34# in the simulator, e.g. via Benchmarks.py)
35mmap map 0x100000 0x20000000 1
36