From cb7f12d3e8eeba75b4f02821fbb85d2741a69beb Mon Sep 17 00:00:00 2001
From: james <j@cpl0.zip>
Date: Wed, 28 Oct 2026 20:11:29 +0000
Subject: [PATCH] ci(build): check ocaml versions and xen guest validation

---
 .github/workflows/check.yml | 17 +++++++++++++++++
 Makefile                    | 18 ++++++++++++++++++
 2 files changed, 35 insertions(+)
 create mode 100644 .github/workflows/check.yml
 create mode 100644 Makefile

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
new file mode 100644
index 0000000..0bdfe0e
--- /dev/null
+++ b/.github/workflows/check.yml
@@ -0,0 +1,17 @@
+name: check
+on: [push, pull_request]
+jobs:
+  check:
+    runs-on: ubuntu-24.04
+    strategy:
+      matrix:
+        ocaml: [4.14.2, 5.5.0]
+    steps:
+      - uses: actions/checkout@v4
+      - uses: ocaml/setup-ocaml@v3
+        with:
+          ocaml-compiler: ${{ matrix.ocaml }}
+      - run: sudo apt-get update && sudo apt-get install -y qemu-system-x86 libxen-dev
+      - run: opam install . --deps-only --with-test
+      - run: opam exec -- make check
+      - run: opam exec -- make xen
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..9e2040b
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,18 @@
+.PHONY: all check guest xen clean
+
+all:
+	dune build @all
+
+check:
+	dune runtest
+	$(MAKE) -C guest check
+
+guest: all
+	$(MAKE) -C guest check
+
+xen:
+	python3 test/xen.py $(XEN_INCLUDE)
+
+clean:
+	dune clean
+	$(MAKE) -C guest clean