Initial commit

.gitignore

+*.bin
+*.elf

.gitmodules

+[submodule "mdk"]
+	path = mdk
+	url = https://github.com/cpq/mdk

Makefile

+# These are used by MDK's .mk
+PROG		= nothing
+SOURCES 	= src/nothing.c
+
+# Comment this line out if you prefer building in docker
+TOOLCHAIN	= riscv32-unknown-elf
+
+EXTRA_CFLAGS ?=
+EXTRA_LINKFLAGS ?=
+
+include mdk/esp32c3/build.mk
+

README.md

+This repository contains small demo programs for the ESP32-C3, used to validate our qemu emulation.
+
+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.
+
+
+## Getting started
+
+After cloning the repo, run:
+
+```sh
+git submodule init
+git submodule update --init --recursive
+make -j $(nproc)
+```
+
+If you don't have a RISC-V toolchain installed, you can also run the compiler in docker.
+To do that, comment out the TOOLCHAIN line in the Makefile.
\ No newline at end of file

mdk @ e2c1d4e4

+Subproject commit e2c1d4e4bd9b152dfa32b48a7c0ae5f5a8b8276d

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 (;;) {
+  }
+
+  return 0;
+}
\ No newline at end of file