This commit is contained in:
parent
81573902eb
commit
84f38cf6a4
1 changed files with 3 additions and 1 deletions
|
|
@ -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 *)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue