From 84f38cf6a4792590fa9cf1275c2fbc52a6eb2bb0 Mon Sep 17 00:00:00 2001 From: swrup Date: Mon, 13 Oct 2025 03:09:22 +0200 Subject: [PATCH] --- src/config.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/config.ml b/src/config.ml index 7edc4886..3374a962 100644 --- a/src/config.ml +++ b/src/config.ml @@ -4,7 +4,9 @@ - generate `config.ml` from config file (virtual module)? - parse config file format - no relative path - - default config: use relevant duration, all set to 1 year for now + - default config + - better types + - impl duration *) (* TODO unikernel *)