--- /dev/null
+#
+# This script is used to describe the commands to start at
+# boot-time and the arguments they should receive.
+#
+
+kernel /armv8/sbin/cpu_apm88xxxx loglevel=3
+stack 131072
+module /armv8/sbin/init
+
+# Domains spawned by init
+module /armv8/sbin/mem_serv
+module /armv8/sbin/monitor
+
+# Special boot time domains spawned by monitor
+module /armv8/sbin/ramfsd boot
+module /armv8/sbin/skb boot
+module /armv8/sbin/kaluga boot
+module /armv8/sbin/spawnd boot
+module /armv8/sbin/startd boot
+module /armv8/sbin/acpi boot
+
+# ramfs contents
+modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
+modulenounzip /skb_ramfs.cpio.gz nospawn
+
+# Drivers
+module /armv8/sbin/corectrl auto
+module /armv8/sbin/pci auto
+
+
+# General user domains
+module /armv8/sbin/fish nospawn
+module /armv8/sbin/angler serial0.terminal xterm
+
+# End of file, this needs to have a certain length...
--- /dev/null
+#
+# This script is used to describe the commands to start at
+# boot-time and the arguments they should receive.
+#
+
+kernel /armv8/sbin/cpu_cn88xx loglevel=3
+stack 131072
+module /armv8/sbin/init
+
+# Domains spawned by init
+module /armv8/sbin/mem_serv
+module /armv8/sbin/monitor
+
+# Special boot time domains spawned by monitor
+module /armv8/sbin/ramfsd boot
+module /armv8/sbin/skb boot
+module /armv8/sbin/kaluga boot
+module /armv8/sbin/spawnd boot
+module /armv8/sbin/startd boot
+module /armv8/sbin/acpi boot
+
+# ramfs contents
+modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
+modulenounzip /skb_ramfs.cpio.gz nospawn
+
+# Drivers
+module /armv8/sbin/corectrl auto
+module /armv8/sbin/pci auto
+
+
+# General user domains
+module /armv8/sbin/fish nospawn
+module /armv8/sbin/angler serial0.terminal xterm
+
+# End of file, this needs to have a certain length...