bf403fec9f1b83aa6630136774861df041e43f35
[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 /armv8/sbin/startd boot
20 module /armv8/sbin/acpi boot
21
22 # ramfs contents
23 modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
24 modulenounzip /skb_ramfs.cpio.gz nospawn
25
26 # Drivers
27 # module /armv8/sbin/corectrl auto
28 module /armv8/sbin/pci auto
29
30
31 # General user domains
32 #module /armv8/sbin/serial_tmas auto portbase=2
33 #module /armv8/sbin/fish nospawn
34 #module /armv8/sbin/angler serial0.terminal xterm
35
36 # End of file, this needs to have a certain length...