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