1#
2# This script is used to describe the commands to start at
3# boot-time and the arguments they should receive.
4#
5
6bootdriver /armv8/sbin/boot_armv8_generic
7cpudriver /armv8/sbin/cpu_apm88xxxx loglevel=3
8
9module /armv8/sbin/init
10
11# Domains spawned by init
12module /armv8/sbin/mem_serv
13module /armv8/sbin/monitor
14
15# Special boot time domains spawned by monitor
16module /armv8/sbin/ramfsd boot
17module /armv8/sbin/skb boot
18module /armv8/sbin/kaluga boot
19module /armv8/sbin/spawnd boot
20module /armv7/sbin/proc_mgmt boot
21module /armv8/sbin/startd boot
22module /armv8/sbin/acpi boot
23
24# ramfs contents
25modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
26modulenounzip /skb_ramfs.cpio.gz nospawn
27
28# Drivers
29module /armv8/sbin/corectrl auto
30module /armv8/sbin/pci auto
31
32
33# General user domains
34module /armv8/sbin/fish nospawn
35module /armv8/sbin/angler serial0.terminal xterm
36