module /armv7/sbin/startd boot
# Booting the first core manually:
-module /armv7/sbin/corectrl boot boot 1
+# the boot parameter here is used by monitor and corectrl, if we ever clean up
+# eating of special arguments for special domains, e.g. 'boot' to indicate
+# that a domain should be spawned by the BSP monitor this line should be
+# module /armv7/sbin/corectrl boot boot 1
+# -SG, 2015-01-13
+module /armv7/sbin/corectrl boot 1
# General user domains
#module /armv7/sbin/serial
else:
m.add_module("%s/sbin/pci" % a, ["auto"])
- if a == "arm_gem5":
+ if a == "armv7":
if machine.get_ncores() == 2:
m.add_module("corectrl", ["boot", "1"])
elif machine.get_ncores() == 4:
}
/* Do not spawn special domains */
- if(!strcmp(short_name, "init") ||
- !strcmp(short_name, "skb") ||
- !strcmp(short_name, "ramfsd") ||
- !strcmp(short_name, "cpu") ||
- !strcmp(short_name, "monitor") ||
- !strcmp(short_name, "mem_serv")||
- !strcmp(short_name, "xeon_phi") ||
- !strcmp(short_name, "corectrl")) {
+ if(!strcmp(short_name, "init")
+ || !strcmp(short_name, "skb")
+ || !strcmp(short_name, "ramfsd")
+ || !strcmp(short_name, "cpu")
+ || !strcmp(short_name, "monitor")
+ || !strcmp(short_name, "mem_serv")
+ || !strcmp(short_name, "xeon_phi")
+#if __k1om
+ // only skip corectrl on xeon phi, -SG,2015-01-13
+ || !strcmp(short_name, "corectrl")
+#endif
+ )
+ {
continue;
}