From 4b09b4a3c59eb26eb06709f3b90a05c238aae8aa Mon Sep 17 00:00:00 2001 From: swrup Date: Wed, 11 Mar 2026 14:17:52 +0100 Subject: [PATCH] MNET: wip makefile --- GNUmakefile | 36 ++++++++++++++++++++++++++++++++++++ network.sh | 11 +++++++++++ 2 files changed, 47 insertions(+) create mode 100644 GNUmakefile create mode 100644 network.sh diff --git a/GNUmakefile b/GNUmakefile new file mode 100644 index 00000000..1dd02fda --- /dev/null +++ b/GNUmakefile @@ -0,0 +1,36 @@ +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: + mkdir -p vendors + @for v in $(vendor_list); do \ + [ ! -d vendors/$v ] && opam source $v --dir vendors/$v + done + +.PHONY: clean +clean: + rm -rf _build/ + rm -rf vendors/ + +secmod-storage: + mfat make --sectors=2048 $(secmod_fat) + +assets: + cp default/assets ./ + +manifest: + dune exec src/mte.exe > manifest.json + +build: + dune build src/mte.exe + +run: + solo5-hvt --block:storage=$(secmod_fat) --net:service=$(tap_device) -- _build/solo5/main.exe --solo5:quiet diff --git a/network.sh b/network.sh new file mode 100644 index 00000000..f2eb77f2 --- /dev/null +++ b/network.sh @@ -0,0 +1,11 @@ +#!/bin/bash +set -e + +sudo ip link add name bridge-mte type bridge +sudo ip addr add 10.0.0.1/24 dev bridge-mte +sudo ip tuntap add name tap-mte mode tap +sudo ip link set tap-mte master bridge-mte +sudo ip link set bridge-mte up +sudo ip link set tap-mte up + +# TODO setup postgresql