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