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/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 38 39module /armv7/sbin/memtest 40 41# gem5 simulates 512MB of RAM starting at 0x80000000 42# start size id 43mmap map 0x00000000 0x80000000 13 # Device region 44mmap map 0x80000000 0x20000000 1 45