From 25832896a627f95c1b5e87d8aac3507798dca55d Mon Sep 17 00:00:00 2001
From: swrup <swrup@protonmail.com>
Date: Wed, 11 Mar 2026 15:26:34 +0100
Subject: [PATCH]

---
 GNUmakefile | 17 ++++++++++-------
 1 file changed, 10 insertions(+), 7 deletions(-)

diff --git a/GNUmakefile b/GNUmakefile
index 8172e3ee..1dd02fda 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -1,16 +1,16 @@
-secrets_dir=./secrets
-secmod_fat=$(secrets_dir)/secmod.fat
-
 pin_list := "git+https://github.com/mirage/Zarith.git#zarith-1.14"
 vendor_list := mkernel miou zarith
 
+secmod_fat=secrets/secmod.fat
+tap_device=tap-mte
+
 pins:
 	@for v in $(pin_list); do \
 	  opam pin $v
 	done
 
 vendors:
-	[ ! -d vendors ] && mkdir vendors
+	mkdir -p vendors
 	@for v in $(vendor_list); do \
 	  [ ! -d vendors/$v ] && opam source $v --dir vendors/$v
 	done
@@ -23,11 +23,14 @@ clean:
 secmod-storage:
 	mfat make --sectors=2048 $(secmod_fat)
 
+assets:
+	cp default/assets ./
+
 manifest:
-	dune exec ./src/mte.exe > manifest.json
+	dune exec src/mte.exe > manifest.json
 
 build:
-	dune build ./src/mte.exe
+	dune build src/mte.exe
 
 run:
-	solo5-hvt --block:secmod.fat=$(secmod_fat) --net:network=tap0 -- ./_build/solo5/main.exe --solo5:quiet
+	solo5-hvt --block:storage=$(secmod_fat) --net:service=$(tap_device) -- _build/solo5/main.exe --solo5:quiet