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