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
11kernel	/armv7/sbin/cpu_zynq7 loglevel=3 consolePort=1
12module	/armv7/sbin/cpu_zynq7
13module	/armv7/sbin/init
14
15# Domains spawned by init
16module	/armv7/sbin/mem_serv
17module	/armv7/sbin/monitor
18
19# Special boot time domains spawned by monitor
20module /armv7/sbin/ramfsd boot
21module /armv7/sbin/skb boot
22modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
23modulenounzip /skb_ramfs.cpio.gz nospawn
24module /armv7/sbin/kaluga boot add_device_db=plat_zynq7
25module /armv7/sbin/spawnd boot
26module /armv7/sbin/proc_mgmt boot
27module /armv7/sbin/startd boot
28
29# Device drivers
30module /armv7/sbin/serial_kernel irq=82
31module /armv7/sbin/corectrl nospawn
32
33# General user domains
34module /armv7/sbin/angler serial0.terminal dumb
35module /armv7/sbin/fish nospawn
36
37module /armv7/sbin/memtest
38
39#        start       size       id
40mmap map 0x00000000  0x40000000  1
41mmap map 0x80000000  0x80000000 13 # Devices
42