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