kernel/logging: Change default log level to LOG_NOTE
[barrelfish] / hake / menu.lst.armv8_gem5
1 # Copyright (c) 2015, ETH Zurich.
2 # Copyright (c) 2015, Hewlett Packard Enterprise Development LP.
3 # All rights reserved.
4 #
5 # This file is distributed under the terms in the attached LICENSE file.
6 # If you do not find this file, copies can be found by writing to:
7 # ETH Zurich D-INFK, Universit√§tstasse 6, CH-8092 Zurich. Attn: Systems Group.
8
9 timeout 0
10
11 #
12 # This script is used to describe the commands to start at
13 # boot-time and the arguments they should receive.
14 #
15 # Kernel arguments are not read from this script. On QEMU they can be
16 # set using 'qemu-system-arm -append ...'.
17
18 title   Barrelfish
19 #root   (nd)
20 kernel  /armv8/sbin/cpu_gem5 loglevel=3
21 module  /armv8/sbin/cpu_gem5
22 module  /armv8/sbin/init
23
24 # Domains spawned by init
25 module  /armv8/sbin/mem_serv
26 module  /armv8/sbin/monitor
27
28 # Special boot time domains spawned by monitor
29 module /armv8/sbin/ramfsd boot
30 module /armv8/sbin/skb boot
31 module /armv8/sbin/spawnd boot
32 module /armv8/sbin/startd boot
33
34 # General user domains
35 module  /armv8/sbin/serial auto
36 module  /armv8/sbin/fish nospawn
37 module  /armv8/sbin/angler serial0.terminal xterm
38
39 module /armv8/sbin/memtest core=0
40
41 # GEM5 simulates 256MB of RAM starting at 0x0
42 #        start      size       id
43 mmap map 0x00000000 0x10000000 1
44