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 8title Barrelfish 9#root (nd) 10kernel /armv7/sbin/cpu_omap44xx loglevel=3 consolePort=2 11module /armv7/sbin/cpu_omap44xx 12module /armv7/sbin/init 13 14# Domains spawned by init 15module /armv7/sbin/mem_serv 16module /armv7/sbin/monitor 17 18# Special boot time domains spawned by monitor 19module /armv7/sbin/ramfsd boot 20module /armv7/sbin/skb boot 21modulenounzip /eclipseclp_ramfs.cpio.gz nospawn 22modulenounzip /skb_ramfs.cpio.gz nospawn 23module /armv7/sbin/kaluga boot add_device_db=plat_PandaboardES 24module /armv7/sbin/spawnd boot bootarm=0 25module /armv7/sbin/proc_mgmt boot 26module /armv7/sbin/startd boot 27 28# Device drivers 29# module /armv7/sbin/serial_omap44xx 30module /armv7/sbin/serial_kernel irq=106 31module /armv7/sbin/corectrl auto 32 33# General user domains 34module /armv7/sbin/angler serial0.terminal dumb 35module /armv7/sbin/fish nospawn 36 37module /armv7/sbin/memtest 38 39module /armv7/sbin/usb_manager auto 40module /armv7/sbin/usb_keyboard auto 41 42#module /armv7/sbin/corectrl auto 43 44# For pandaboard, use following values. 45mmap map 0x40000000 0x40000000 13 # Devices 46mmap map 0x80000000 0x40000000 1 47