mbv: now with DDR! and a wozmon

We have access to 256 MiB of fresh DDR3.
Isn't that great?

prog.py is a bit opinionated for now:
- tty is /dev/ttyUSB1
- writing programs to DDR

mbv/configure

@@ -253,6 +253,7 @@ hal = source_set("hal", [
 
 bootloader = source_set("bootloader", glob.glob("./bootloader/**/*.cc", recursive=True))
 helloworld = source_set("helloworld", glob.glob("./apps/helloworld/**/*.cc", recursive=True))
+wozmon = source_set("wozmon", glob.glob("./apps/wozmon/**/*.cc", recursive=True))
 
 bootloader_image = build_image(
     bootloader,
@@ -268,7 +269,15 @@ helloworld_image = build_image(
     bin_out="out/helloworld.bin",
 )
 
-all = [build_source_set(hal), bootloader_image, helloworld_image]
+wozmon_image = build_image(
+    wozmon,
+    dependencies=[hal],
+    elf_out="out/wozmon.elf",
+    bin_out="out/wozmon.bin",
+    linker_script = "apps/fromddr.ld",
+)
+
+all = [build_source_set(hal), bootloader_image, helloworld_image, wozmon_image]
 
 
 def parse_args():