[xmake] Generate vmem for legacy builds

Signed-off-by: Douglas Reis <[email protected]>

Author: engdoreis

common.lua

@@ -8,3 +8,12 @@ function convert_to_uf2(target)
     os.execv("uf2conv", { firmware .. ".strip", "-b0x10000000", "-f0x6CE29E60", "-co", firmware .. ".slot2.uf2" })
     os.execv("uf2conv", { firmware .. ".strip", "-b0x20000000", "-f0x6CE29E60", "-co", firmware .. ".slot3.uf2" })
 end
+
+function convert_to_vmem(target)
+  local firmware = target:targetfile()
+  os.execv("riscv32-unknown-elf-objcopy", { firmware, "-O", "binary" , firmware .. ".bin" })
+  os.execv("srec_cat", { firmware .. ".bin", "-binary",
+                        "-offset" ,"0x0000", "-byte-swap", "4",
+                        "-o", firmware .. ".vmem", "-vmem" })
+end
+

examples/heartbleed/legacy/xmake.lua

@@ -12,6 +12,7 @@ local legacy_dir = path.join(rootdir, "third_party/sonata-system/sw/legacy")
 
 set_defaultarchs("cheriot")
 set_defaultplat("cheriot")
+includes("../../../common.lua")
 
 -- Setup the GCC toolchain for building non-CHERI baremetal programs
 toolchain("legacy-gcc")
@@ -68,8 +69,8 @@ function legacy_firmware(name)
             path.join(legacy_dir, "common/timer.c"), 
             path.join(legacy_dir, "common/uart.c")
         )
+        after_link(convert_to_vmem)
 end
-
 set_toolchains("legacy-gcc")
 
 -- Legacy-specific LCD library for using the display drivers