kernel/logging: Change default log level to LOG_NOTE
[barrelfish] / hake / menu.lst.m5
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  /x86_64/sbin/cpu loglevel=3
16 module  /x86_64/sbin/init
17
18 # Domains spawned by init
19 module  /x86_64/sbin/mem_serv
20 module  /x86_64/sbin/monitor
21
22 # Special boot time domains spawned by monitor
23 module  /x86_64/sbin/ramfsd boot
24 module  /x86_64/sbin/skb boot
25 module  /x86_64/sbin/spawnd boot bootapic-x86_64=1
26 module  /x86_64/sbin/startd boot
27
28 # General user domains
29 module  /x86_64/sbin/hellotest core=0
30 module  /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)
35 mmap map 0x100000 0x20000000 1