1#
2# This script is used to describe the commands to start at
3# boot-time and the arguments they should receive.
4#
5bootdriver  /armv8/sbin/boot_armv8_generic
6cpudriver /armv8/sbin/cpu_a57v loglevel=3 serial=0x9000000 gicdist=0x8000000 gic=0x8010000
7stack 131072
8module /armv8/sbin/init
9
10# Domains spawned by init
11module /armv8/sbin/mem_serv
12module /armv8/sbin/monitor
13
14# Special boot time domains spawned by monitor
15module /armv8/sbin/ramfsd boot
16module /armv8/sbin/skb boot
17module /armv8/sbin/kaluga boot
18module /armv8/sbin/spawnd boot
19module /armv7/sbin/proc_mgmt boot
20module /armv8/sbin/startd boot
21module /armv8/sbin/acpi boot
22
23# ramfs contents
24modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
25modulenounzip /skb_ramfs.cpio.gz nospawn
26
27# Drivers
28# module /armv8/sbin/corectrl auto
29module /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...
38