Lines Matching defs:binaries_dir
96 binaries_dir = options.dest_dir + "/binaries"
98 if os.path.exists(binaries_dir):
99 print "Error: %s already exists." % binaries_dir
132 os.mkdir(binaries_dir);
165 ["cp", "vmlinux", binaries_dir + "/vmlinux.vexpress_gem5_v1_64"])
178 ["cp", "vmlinux", binaries_dir + "/vmlinux.vexpress_gem5_v1"])
202 ["cp", "vmlinux", binaries_dir + "/vmlinux.vexpress_emm64"])
205 ["cp", "arch/arm64/boot/dts/aarch64_gem5_server.dtb", binaries_dir])
229 ["cp", "vmlinux", binaries_dir + "/vmlinux.vexpress_emm"])
233 binaries_dir + "/vexpress-v2p-ca15-tc1-gem5_1cpus.dtb"])
237 [binaries_dir])
246 ["cp"] + glob(dt_dir + "/*dtb") + [binaries_dir])
255 ["cp", "boot_emm.arm64", binaries_dir])
264 ["cp", "boot.arm", "boot_emm.arm", binaries_dir])
273 ["cp", "m5", binaries_dir + "/m5.aarch64"])
282 ["cp", "m5", binaries_dir + "/m5.aarch32"])
284 print "Done! All the generated files can be found in %s" % binaries_dir