From bc7f47836ecefd019d965b2b9e545be649740804 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Fri, 4 Oct 2024 16:03:54 +0200 Subject: [PATCH] Use GPTar table We expect the disk to be formatted already. --- mirage/config.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/mirage/config.ml b/mirage/config.ml index 2fa18f5..3bc8687 100644 --- a/mirage/config.ml +++ b/mirage/config.ml @@ -41,6 +41,8 @@ let mirror = package ~min:"3.0.0" ~sublibs:[ "gz" ] "tar" ; package ~min:"3.0.0" "tar-mirage" ; package ~max:"0.2.0" "mirage-block-partition" ; + package "gpt" ; + package "gptar" ~pin:"git+https://github.com/reynir/gptar.git" ; package "oneffs" ; package "digestif" ; ]