1timeout 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
10title	Barrelfish
11#root	(nd)
12kernel	/armv7/sbin/cpu_a15ve loglevel=3 periphbase=0x2c000000 cntfrq=100000000 consolePort=0 timerirq=29
13module	/armv7/sbin/cpu_a15ve
14module	/armv7/sbin/init
15
16# Domains spawned by init
17module	/armv7/sbin/mem_serv
18module	/armv7/sbin/monitor
19
20# Special boot time domains spawned by monitor
21module /armv7/sbin/ramfsd boot
22module /armv7/sbin/skb boot
23modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
24modulenounzip /skb_ramfs.cpio.gz nospawn
25module /armv7/sbin/kaluga boot add_device_db=plat_VE_A15x4
26module /armv7/sbin/spawnd boot
27module /armv7/sbin/proc_mgmt boot
28module /armv7/sbin/startd boot
29
30# Device drivers
31# module /armv7/sbin/serial_pl011 auto
32module /armv7/sbin/driverdomain auto
33# module /armv7/sbin/serial_kernel irq=37
34module /armv7/sbin/corectrl auto
35
36# General user domains
37module /armv7/sbin/angler serial0.terminal dumb
38module /armv7/sbin/fish nospawn
39
40module /armv7/sbin/memtest
41
42# gem5 simulates 512MB of RAM starting at 0x80000000
43#        start       size       id
44mmap map 0x00000000  0x80000000 13 # Device region
45mmap map 0x80000000  0x40000000  1
46mmap map 0xC0000000  0x40000000  1
47