4 # This script is used to describe the commands to start at
5 # boot-time and the arguments they should receive.
7 # Kernel arguments are not read from this script. On QEMU they can be
8 # set using 'qemu-system-arm -append ...'.
11 # We have 100MHz timer on the FVP, but that's not discoverable at run time.
12 kernel /armv7/sbin/cpu_a9ve loglevel=5 logmask=1 periphclk=100000000 consolePort=0
13 module /armv7/sbin/cpu_a9ve
14 module /armv7/sbin/init
16 # Domains spawned by init
17 module /armv7/sbin/mem_serv
18 module /armv7/sbin/monitor
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_A9x4
26 module /armv7/sbin/spawnd boot
27 module /armv7/sbin/startd boot
30 # module /armv7/sbin/serial_pl011 auto
31 module /armv7/sbin/serial_kernel irq=37
32 module /armv7/sbin/corectrl auto
34 # General user domains
35 module /armv7/sbin/angler serial0.terminal dumb
36 module /armv7/sbin/fish nospawn
37 module /armv7/sbin/memtest nospawn
39 # The FVP simulates 4GB of RAM, 2GB of which is in the 32-bit address space.
41 mmap map 0x00000000 0x80000000 13 # Device region
42 mmap map 0x80000000 0x40000000 1
43 mmap map 0xC0000000 0x40000000 1
44 # Caps above 4GB break things right now, but should be ignored.
45 #mmap map 0x880000000 0x80000000 1