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# We have 100MHz timer on the FVP, but that's not discoverable at run time. 12kernel /armv7/sbin/cpu_a9ve loglevel=5 logmask=1 periphclk=100000000 consolePort=0 13module /armv7/sbin/cpu_a9ve 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_A9x1 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/serial_kernel irq=37 33module /armv7/sbin/corectrl auto 34 35# General user domains 36module /armv7/sbin/angler serial0.terminal dumb 37module /armv7/sbin/fish nospawn 38module /armv7/sbin/memtest nospawn 39 40# The FVP simulates 4GB of RAM, 2GB of which is in the 32-bit address space. 41# start size id 42mmap map 0x00000000 0x80000000 13 # Device region 43mmap map 0x80000000 0x40000000 1 44mmap map 0xC0000000 0x40000000 1 45# Caps above 4GB break things right now, but should be ignored. 46#mmap map 0x880000000 0x80000000 1 47