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/driverdomain auto 33# module /armv7/sbin/serial_kernel irq=37 34module /armv7/sbin/corectrl auto 35 36# General user domains 37module /armv7/sbin/angler serial0.terminal dumb 38module /armv7/sbin/fish nospawn 39 40module /armv7/sbin/memtest 41 42# gem5 simulates 512MB of RAM starting at 0x80000000 43# start size id 44mmap map 0x00000000 0x80000000 13 # Device region 45mmap map 0x80000000 0x40000000 1 46mmap map 0xC0000000 0x40000000 1 47