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_a53_rpi3
7module /armv8/sbin/init
8
9# Domains spawned by init
10module /armv8/sbin/mem_serv
11module /armv8/sbin/monitor
12
13# Special boot time domains spawned by monitor
14module /armv8/sbin/ramfsd boot
15module /armv8/sbin/skb boot
16module /armv8/sbin/kaluga boot
17module /armv8/sbin/spawnd boot
18module /armv8/sbin/proc_mgmt boot
19module /armv8/sbin/startd boot
20module /armv8/sbin/acpi boot
21
22# ramfs contents
23modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
24modulenounzip /skb_ramfs.cpio.gz nospawn
25
26# Drivers
27module /armv8/sbin/corectrl auto
28module /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...
37