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