From e1cf77bdc8b9db45b5e13e9f4289423974ce1d3c Mon Sep 17 00:00:00 2001
From: swrup <swrup@protonmail.com>
Date: Wed, 11 Mar 2026 16:35:37 +0100
Subject: [PATCH]

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

diff --git a/GNUmakefile b/GNUmakefile
index 1dd02fda..74d7fa35 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -1,9 +1,19 @@
+install_list := solo5 ocaml-solo5 mkernel mnet
 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
 
+
+check-kvm:
+	$(if $(wildcard /dev/kvm),,$(error KVM support not enabled))
+
+installs:
+	@for v in $(install_list); do \
+	  opam install $v
+	done
+
 pins:
 	@for v in $(pin_list); do \
 	  opam pin $v