#
bootdriver /armv8/sbin/boot_armv8_generic
cpudriver /armv8/sbin/cpu_imx8x
-module /armv8/sbin/init
+#module /armv8/sbin/init
# Domains spawned by init
-module /armv8/sbin/mem_serv
-module /armv8/sbin/monitor
+#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/proc_mgmt boot
-module /armv8/sbin/startd boot
-module /armv8/sbin/acpi boot
+#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
+#modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
+#modulenounzip /skb_ramfs.cpio.gz nospawn
# Drivers
-module /armv8/sbin/corectrl auto
-module /armv8/sbin/pci auto
+#module /armv8/sbin/corectrl auto
+#module /armv8/sbin/pci auto
# General user domains
platform "imx8x" [ "armv8" ]
([ ("armv8", "/sbin/cpu_imx8x"), ("armv8", "/sbin/boot_armv8_generic") ]
++
- [ ("armv8", f) | f <- armv8_modules ]
- ++
- [ ("", f) | f <- modules_generic]
- ++
[ ("root", "/armv8_imx8x_image.efi") ])
"NXP iMX8QPX",