diff --git a/GNUmakefile b/GNUmakefile
index b22ac9d1..4ab780e9 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -58,4 +58,4 @@ build:
 	dune build src/mte.exe
 
 run:
-	solo5-hvt --block:storage=$(secmod_fat) --net:service=$(tap_device) -- _build/solo5/main.exe --solo5:quiet
+	solo5-hvt --block:storage=$(secmod_fat) --net:service=$(tap_device) -- _build/solo5/src/mte.exe --solo5:quiet
diff --git a/manifest.json b/manifest.json
new file mode 100644
index 00000000..54f7af0c
--- /dev/null
+++ b/manifest.json
@@ -0,0 +1 @@
+{"type":"solo5.manifest","version":1,"devices":[{"type":"NET_BASIC","name":"service"},{"type":"BLOCK_BASIC","name":"storage"}]}