276532c0fd56ac3d1cbecac52f1a016d347e56d6
[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 /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