56143e90b1d3ca8b40d253a58f6ade0e1b246b8d
[barrelfish] / hake / menu.lst.armv7_a15ve_fvp_1
1 timeout 0
2
3 #
4 # This script is used to describe the commands to start at
5 # boot-time and the arguments they should receive.
6 #
7 # Kernel arguments are not read from this script. On QEMU they can be
8 # set using 'qemu-system-arm -append ...'.
9
10 title   Barrelfish
11 #root   (nd)
12 kernel  /armv7/sbin/cpu_a15ve loglevel=3 periphbase=0x2c000000 cntfrq=100000000 consolePort=0 timerirq=29
13 module  /armv7/sbin/cpu_a15ve
14 module  /armv7/sbin/init
15
16 # Domains spawned by init
17 module  /armv7/sbin/mem_serv
18 module  /armv7/sbin/monitor
19
20 # Special boot time domains spawned by monitor
21 module /armv7/sbin/ramfsd boot
22 module /armv7/sbin/skb boot
23 modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
24 modulenounzip /skb_ramfs.cpio.gz nospawn
25 module /armv7/sbin/kaluga boot add_device_db=plat_VE_A15x1
26 module /armv7/sbin/spawnd boot
27 module /armv7/sbin/startd boot
28
29 # Device drivers
30 # module /armv7/sbin/serial_pl011 auto
31 module /armv7/sbin/serial_kernel irq=37
32 module /armv7/sbin/corectrl auto
33
34 # General user domains
35 module /armv7/sbin/angler serial0.terminal dumb
36 module /armv7/sbin/fish nospawn
37
38 module /armv7/sbin/memtest
39
40 # gem5 simulates 512MB of RAM starting at 0x80000000
41 #        start       size       id
42 mmap map 0x00000000  0x80000000 13 # Device region
43 mmap map 0x80000000  0x20000000 1