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