armv7,armv8: Add process manager to targets and menu.lsts
[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/proc_mgmt boot
26 module /armv7/sbin/startd boot
27
28 # Device drivers
29 # module /armv7/sbin/serial_omap44xx
30 module /armv7/sbin/serial_kernel irq=106
31 module /armv7/sbin/corectrl auto
32
33 # General user domains
34 module /armv7/sbin/angler serial0.terminal dumb
35 module /armv7/sbin/fish nospawn
36
37 module /armv7/sbin/memtest
38
39 module /armv7/sbin/usb_manager auto
40 module /armv7/sbin/usb_keyboard auto
41
42 #module /armv7/sbin/corectrl auto
43
44 # For pandaboard, use following values.
45 mmap map 0x40000000 0x40000000 13 # Devices
46 mmap map 0x80000000 0x40000000  1