JJ: Description from the destination commit:

wip customize skeleton JJ: Description from source commit: .
2025-11-02 13:32:06 +01:00 · 2025-11-02 13:32:06 +01:00 · 2b02e8ff9d
commit 2b02e8ff9d
parent f4d9f8e618
16 changed files with 48 additions and 24 deletions
--- a/.ocamlformat-ignore
+++ b/.ocamlformat-ignore
@ -1 +1,2 @@
-dist/dune
+unikernel/dist/*
+unikernel/mirage/*