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	/k1om/sbin/cpu loglevel=3
16module	/k1om/sbin/init
17
18# Domains spawned by init
19module	/k1om/sbin/mem_serv
20module	/k1om/sbin/monitor
21
22# Special boot time domains spawned by monitor
23module  /k1om/sbin/ramfsd boot
24module  /k1om/sbin/skb boot
25module  /k1om/sbin/xeon_phi boot
26module  /k1om/sbin/spawnd boot
27module  /k1om/sbin/proc_mgmt boot
28module  /k1om/sbin/startd boot
29
30# drivers
31module /k1om/sbin/corectrl auto
32
33# GDDR Memory we have 6GB on our Xeon PHi
34mmap map 0x0000000000 0x00FEE00000 1
35# memory hole for the APIC and the flash rom 
36mmap map 0x00FEE00000 0x120000 3
37mmap map 0x0100000000 0x80000000 1             
38