Use custom MDK fork for now

.gitmodules

 [submodule "mdk"]
 	path = mdk
-	url = https://github.com/cpq/mdk
+	url = https://git.imp.fu-berlin.de/projekt-telematik-ss23-qemu/mdk
+	branch = emulator-hack

Makefile

@@ -5,7 +5,7 @@ SOURCES 	= src/nothing.c
 # Comment this line out if you prefer building in docker
 TOOLCHAIN	= riscv32-unknown-elf
 
-EXTRA_CFLAGS ?=
+EXTRA_CFLAGS ?= -Og -g
 EXTRA_LINKFLAGS ?=
 
 include mdk/esp32c3/build.mk

README.md

@@ -3,6 +3,7 @@ This repository contains small demo programs for the ESP32-C3, used to validate
 They're built against [mdk](https://github.com/cpq/mdk), as this allows finer control
 over what hardware features exactly are required, enabling gradual emulator development.
 
+We have patched the SDK slightly. Our fork is [here](https://git.imp.fu-berlin.de/projekt-telematik-ss23-qemu/mdk).
 
 ## Getting started
 

mdk @ f197453a

-Subproject commit e2c1d4e4bd9b152dfa32b48a7c0ae5f5a8b8276d
+Subproject commit f197453a15a3130ca62b8ccbb6af65a78942d9e5

src/nothing.c

-/*
-This sample program is simply meant to prove that code is executed.
-Asides from MDK's init functions, nothing is done.
-*/
-
 #include <mdk.h>
 
 int main(void) {
-  for (;;) {
-  }
+    for (;;) {
+        // So compiler doesn't optimize out the loop
+        __asm__ volatile("nop");
+    }
 
-  return 0;
-}
\ No newline at end of file
+    return 0;
+}