From 97b521aeb0563280a03ac5b723123d7d681a8a0f Mon Sep 17 00:00:00 2001 From: swrup Date: Wed, 11 Mar 2026 14:17:52 +0100 Subject: [PATCH] MNET: wip makefile --- GNUmakefile | 33 +++++++++++++++++++++++++++++++++ network.sh | 11 +++++++++++ 2 files changed, 44 insertions(+) create mode 100644 GNUmakefile create mode 100644 network.sh diff --git a/GNUmakefile b/GNUmakefile new file mode 100644 index 00000000..8172e3ee --- /dev/null +++ b/GNUmakefile @@ -0,0 +1,33 @@ +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 + +pins: + @for v in $(pin_list); do \ + opam pin $v + done + +vendors: + [ ! -d vendors ] && mkdir 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) + +manifest: + dune exec ./src/mte.exe > manifest.json + +build: + dune build ./src/mte.exe + +run: + solo5-hvt --block:secmod.fat=$(secmod_fat) --net:network=tap0 -- ./_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