armv7,armv8: Add process manager to targets and menu.lsts
[barrelfish] / hake / menu.lst.armv8_cn88xx
1 #
2 # This script is used to describe the commands to start at
3 # boot-time and the arguments they should receive.
4 #
5
6 bootdriver /armv8/sbin/boot_armv8_generic
7 cpudriver /armv8/sbin/cpu_cn88xx loglevel=3
8
9 module /armv8/sbin/init
10
11 # Domains spawned by init
12 module /armv8/sbin/mem_serv
13 module /armv8/sbin/monitor
14
15 # Special boot time domains spawned by monitor
16 module /armv8/sbin/ramfsd boot
17 module /armv8/sbin/skb boot
18 module /armv8/sbin/kaluga boot
19 module /armv8/sbin/spawnd boot
20 module /armv7/sbin/proc_mgmt boot
21 module /armv8/sbin/startd boot
22 module /armv8/sbin/acpi boot
23
24 # ramfs contents
25 modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
26 modulenounzip /skb_ramfs.cpio.gz nospawn
27
28 # Drivers
29 module /armv8/sbin/corectrl auto
30 module /armv8/sbin/pci auto
31
32
33 # General user domains
34 module /armv8/sbin/fish nospawn
35 module /armv8/sbin/angler serial0.terminal xterm