armv7,armv8: Add process manager to targets and menu.lsts
[barrelfish] / hake / menu.lst.k1om
1 timeout 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
13 title   Barrelfish
14 root    (nd)
15 kernel  /k1om/sbin/cpu loglevel=3
16 module  /k1om/sbin/init
17
18 # Domains spawned by init
19 module  /k1om/sbin/mem_serv
20 module  /k1om/sbin/monitor
21
22 # Special boot time domains spawned by monitor
23 module  /k1om/sbin/ramfsd boot
24 module  /k1om/sbin/skb boot
25 module  /k1om/sbin/xeon_phi boot
26 module  /k1om/sbin/spawnd boot
27 module  /k1om/sbin/proc_mgmt boot
28 module  /k1om/sbin/startd boot
29
30 # drivers
31 module /k1om/sbin/corectrl auto
32
33 # GDDR Memory we have 6GB on our Xeon PHi
34 mmap map 0x0000000000 0x00FEE00000 1
35 # memory hole for the APIC and the flash rom 
36 mmap map 0x00FEE00000 0x120000 3
37 mmap map 0x0100000000 0x80000000 1