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=0x1c090000 gicdist=0x2f000000 gic=0x2f100000 timeslice=80 7#cpudriver /armv8/sbin/cpu_a57v loglevel=3 serial=0x1c090000 gicdist=0x2c000000 gic=0x2c010000 timeslice=80 8#cpudriver /armv8/sbin/cpu_a57v loglevel=3 serial=0x1c090000 gicdist=0x8000000 gic=0x8010000 timeslice=80 9stack 131072 10module /armv8/sbin/init 11 12# Domains spawned by init 13module /armv8/sbin/mem_serv 14module /armv8/sbin/monitor 15 16# Special boot time domains spawned by monitor 17module /armv8/sbin/ramfsd boot 18module /armv8/sbin/skb boot 19module /armv8/sbin/kaluga boot 20#module /armv8/sbin/spawnd 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 29# module /armv8/sbin/corectrl auto 30#module /armv8/sbin/pci auto 31