Bugfixes Xeon Phi Driver startup - removed check for boot info - added initialization...
[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=4
16 module  /k1om/sbin/init
17
18
19 # Domains spawned by init
20 module  /k1om/sbin/mem_serv
21 module  /k1om/sbin/monitor
22
23 # Special boot time domains spawned by monitor
24 module  /k1om/sbin/ramfsd boot
25 module  /k1om/sbin/skb boot
26 module  /k1om/sbin/xeon_phi boot
27 #modulenounzip /skb_ramfs.cpio.gz nospawn
28 #module  /k1om/sbin/kaluga boot
29 #module  /k1om/sbin/acpi boot
30 module  /k1om/sbin/spawnd boot bootk1om=0,4,8,12,16
31 module  /k1om/sbin/startd boot
32 #module /k1om/sbin/routing_setup boot
33 module /k1om/sbin/xeon_phi_test
34 #low gddr memory
35 #mmap map 0x0000000000 0x0400000000 1
36
37 # GDDR Memory we have 6GB on our Xeon PHi
38 #mmap map 0x0800000000 0x0180000000 1
39
40 mmap map 0x0000000000 0x00FEE00000 1
41 # memory hole for the APIC and the flash rom 
42 mmap map 0x00FEE00000 0x120000 3
43 mmap map 0x0100000000 0x80000000 1             
44
45 DBOX registers 0x08_007C_0000 to 0x08_007C_FFFF (64 kB)
46 SBOX registers 0x08_007D_0000 to 0x08_007D_FFFF (64 kB)
47 #
48 # host system memory size 512GB
49 #mmap map 0x8000000000 0x8000000000 2
50
51
52
53