054f358464faf1bf554b850ad1c6858cfbff2586
[barrelfish] / hake / menu.lst.armv8_apm88xxxx
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_apm88xxxx 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 /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/fish nospawn
34 module /armv8/sbin/angler serial0.terminal xterm