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