2 files changed, 15 insertions, 0 deletions
diff --git a/stubdom/c/Makefile b/stubdom/c/Makefile
new file mode 100644
index 0000000000..6262095b66
--- /dev/null
+++ b/stubdom/c/Makefile
@@ -0,0 +1,9 @@
+XEN_ROOT = ../..
+
+include $(XEN_ROOT)/Config.mk
+
+main.a: main.o
+	$(AR) cr $@ $^
+
+clean:
+	rm -f *.a *.o
diff --git a/stubdom/c/main.c b/stubdom/c/main.c
new file mode 100644
index 0000000000..12288a6292
--- /dev/null
+++ b/stubdom/c/main.c
@@ -0,0 +1,6 @@
+#include <stdio.h>
+int main(void) {
+        sleep(2);
+        printf("Hello, world!\n");
+        return 0;
+}