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