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