Strip down imx8x image to boot/CPU driver for now

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

diff --git a/hake/menu.lst.armv8_imx8x b/hake/menu.lst.armv8_imx8x
index 5162d64..389cd67 100644 (file)
--- a/hake/menu.lst.armv8_imx8x
+++ b/hake/menu.lst.armv8_imx8x
@@ -4,28 +4,27 @@
 #
 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

diff --git a/platforms/Hakefile b/platforms/Hakefile
index 77b34f8..797a6a7 100644 (file)
--- a/platforms/Hakefile
+++ b/platforms/Hakefile
@@ -516,10 +516,6 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
     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",