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 *)