armv7,armv8: Add process manager to targets and menu.lsts
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 31 Aug 2017 16:00:29 +0000 (18:00 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 27 Sep 2017 13:19:41 +0000 (15:19 +0200)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

16 files changed:
hake/menu.lst.armv7_a15a7ve
hake/menu.lst.armv7_a15ve_1
hake/menu.lst.armv7_a15ve_4
hake/menu.lst.armv7_a15ve_fvp_1
hake/menu.lst.armv7_a15ve_fvp_4
hake/menu.lst.armv7_a15ve_gem5
hake/menu.lst.armv7_a9ve_1
hake/menu.lst.armv7_a9ve_4
hake/menu.lst.armv7_omap44xx
hake/menu.lst.armv7_zynq7
hake/menu.lst.armv8_a57v
hake/menu.lst.armv8_a57v_1
hake/menu.lst.armv8_apm88xxxx
hake/menu.lst.armv8_cn88xx
hake/menu.lst.k1om
platforms/Hakefile

index fcae6ec..9414fb4 100644 (file)
@@ -24,6 +24,7 @@ modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
 modulenounzip /skb_ramfs.cpio.gz nospawn
 module /armv7/sbin/kaluga boot add_device_db=plat_VE_A15x4_A7x4
 module /armv7/sbin/spawnd boot
+module /armv7/sbin/proc_mgmt boot
 module /armv7/sbin/startd boot
 
 # Device drivers
index 5c322c0..412a713 100644 (file)
@@ -24,6 +24,7 @@ modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
 modulenounzip /skb_ramfs.cpio.gz nospawn
 module /armv7/sbin/kaluga boot add_device_db=plat_VE_A15x1
 module /armv7/sbin/spawnd boot
+module /armv7/sbin/proc_mgmt boot
 module /armv7/sbin/startd boot
 
 # Device drivers
index 20ea3fe..0351723 100644 (file)
@@ -24,6 +24,7 @@ modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
 modulenounzip /skb_ramfs.cpio.gz nospawn
 module /armv7/sbin/kaluga boot add_device_db=plat_VE_A15x4
 module /armv7/sbin/spawnd boot
+module /armv7/sbin/proc_mgmt boot
 module /armv7/sbin/startd boot
 
 # Device drivers
index 56143e9..f5d8586 100644 (file)
@@ -24,6 +24,7 @@ modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
 modulenounzip /skb_ramfs.cpio.gz nospawn
 module /armv7/sbin/kaluga boot add_device_db=plat_VE_A15x1
 module /armv7/sbin/spawnd boot
+module /armv7/sbin/proc_mgmt boot
 module /armv7/sbin/startd boot
 
 # Device drivers
index f70fa5d..0a977a9 100644 (file)
@@ -24,6 +24,7 @@ modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
 modulenounzip /skb_ramfs.cpio.gz nospawn
 module /armv7/sbin/kaluga boot add_device_db=plat_VE_A15x4
 module /armv7/sbin/spawnd boot
+module /armv7/sbin/proc_mgmt boot
 module /armv7/sbin/startd boot
 
 # Device drivers
index 3a516ef..0ec0ea6 100644 (file)
@@ -24,6 +24,7 @@ modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
 modulenounzip /skb_ramfs.cpio.gz nospawn
 module /armv7/sbin/kaluga boot add_device_db=plat_VE_A15x1
 module /armv7/sbin/spawnd boot
+module /armv7/sbin/proc_mgmt boot
 module /armv7/sbin/startd boot
 
 # Device drivers
index 0934e5b..8f1b458 100644 (file)
@@ -24,6 +24,7 @@ modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
 modulenounzip /skb_ramfs.cpio.gz nospawn
 module /armv7/sbin/kaluga boot add_device_db=plat_VE_A9x1
 module /armv7/sbin/spawnd boot
+module /armv7/sbin/proc_mgmt boot
 module /armv7/sbin/startd boot
 
 # Device drivers
index d0db02a..4e08c2a 100644 (file)
@@ -24,6 +24,7 @@ modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
 modulenounzip /skb_ramfs.cpio.gz nospawn
 module /armv7/sbin/kaluga boot add_device_db=plat_VE_A9x4
 module /armv7/sbin/spawnd boot
+module /armv7/sbin/proc_mgmt boot
 module /armv7/sbin/startd boot
 
 # Device drivers
index b5d83a7..b5991ae 100644 (file)
@@ -22,6 +22,7 @@ modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
 modulenounzip /skb_ramfs.cpio.gz nospawn
 module /armv7/sbin/kaluga boot add_device_db=plat_PandaboardES
 module /armv7/sbin/spawnd boot bootarm=0
+module /armv7/sbin/proc_mgmt boot
 module /armv7/sbin/startd boot
 
 # Device drivers
index 55be5ab..8de5948 100644 (file)
@@ -23,6 +23,7 @@ modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
 modulenounzip /skb_ramfs.cpio.gz nospawn
 module /armv7/sbin/kaluga boot add_device_db=plat_zynq7
 module /armv7/sbin/spawnd boot
+module /armv7/sbin/proc_mgmt boot
 module /armv7/sbin/startd boot
 
 # Device drivers
index bf403fe..8a7ad09 100644 (file)
@@ -16,6 +16,7 @@ module /armv8/sbin/ramfsd boot
 module /armv8/sbin/skb boot
 module /armv8/sbin/kaluga boot
 module /armv8/sbin/spawnd boot
+module /armv7/sbin/proc_mgmt boot
 module /armv8/sbin/startd boot
 module /armv8/sbin/acpi boot
 
index a134dae..c680ccd 100644 (file)
@@ -25,4 +25,4 @@ modulenounzip /skb_ramfs.cpio.gz nospawn
 
 # Drivers
 # module /armv8/sbin/corectrl auto
-#module /armv8/sbin/pci auto
\ No newline at end of file
+#module /armv8/sbin/pci auto
index 054f358..571cf75 100644 (file)
@@ -17,6 +17,7 @@ module /armv8/sbin/ramfsd boot
 module /armv8/sbin/skb boot
 module /armv8/sbin/kaluga boot
 module /armv8/sbin/spawnd boot
+module /armv7/sbin/proc_mgmt boot
 module /armv8/sbin/startd boot
 module /armv8/sbin/acpi boot
 
index 276532c..5635df8 100644 (file)
@@ -17,6 +17,7 @@ module /armv8/sbin/ramfsd boot
 module /armv8/sbin/skb boot
 module /armv8/sbin/kaluga boot
 module /armv8/sbin/spawnd boot
+module /armv7/sbin/proc_mgmt boot
 module /armv8/sbin/startd boot
 module /armv8/sbin/acpi boot
 
index 6f122e5..c117155 100644 (file)
@@ -24,6 +24,7 @@ module  /k1om/sbin/ramfsd boot
 module  /k1om/sbin/skb boot
 module  /k1om/sbin/xeon_phi boot
 module  /k1om/sbin/spawnd boot
+module  /k1om/sbin/proc_mgmt boot
 module  /k1om/sbin/startd boot
 
 # drivers
index e9368c3..a1de5ad 100644 (file)
@@ -250,6 +250,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                         "init",
                         "mem_serv",
                         "monitor",
+                        "proc_mgmt",
                         "ramfsd",
                         "spawnd",
                         "startd",
@@ -276,6 +277,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                                "kaluga",
                                "mem_serv",
                                "monitor",
+                               "proc_mgmt",
                                "ramfsd",
                                "serial_pl011",
                                "serial_kernel",
@@ -295,6 +297,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                               "kaluga",
                               "mem_serv",
                               "monitor",
+                              "proc_mgmt",
                               "ramfsd",
                               "serial_pl011",
                               "serial_kernel",
@@ -314,6 +317,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                      "kaluga",
                      "mem_serv",
                      "monitor",
+                     "proc_mgmt",
                      "ramfsd",
                      "serial_kernel",
                      "spawnd",
@@ -331,6 +335,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                        "init",
                        "mem_serv",
                        "monitor",
+                       "proc_mgmt",
                        "ramfsd",
                        "spawnd",
                        "startd",