Reynir Björnsson

The check done in dune seems to be that the string is non-empty and doesn't contain `.` or `/` FWIW. https://github.com/ocaml/dune/blob/main/src/dune_engine/dune_project.ml#L66-L71

I looked into the code, and the function registered by `at_exit` *are* actually called. https://github.com/mirage/mirage-solo5/blob/main/lib/main.ml#L72-L75 What you're observing could maybe be explained by the call to `Lwt.abandon_wakeups` - maybe some...

On testing with ctrl-c it does indeed seem to not run the exit handlers on solo5-hvt ``` $ solo5-hvt -- dist/hello.hvt | ___| __| _ \ | _ \ __...

I added systemd examples for albatross-tls-endpoint. If you could take a look and see if it looks reasonable I'll merge this. Sorry for the long process.

It may be worth looking at [qubes-builder-mirage](https://github.com/marmarek/qubes-builder-mirage). I don't understand very well how qubes-builder works, and I don't have a qubes setup available at this moment :/

I rebased and clarified the meaning of `None` log level.

```shell reynir@spurv:~/workspace/mirage-skeleton/tutorial/hello$ ./dist/hello -l asdhs:hdjjd hello: option '-l': invalid element in list ('asdhs:hdjjd'): hdjjd is not a valid log level Usage: hello [OPTION]… Try 'hello --help' for more information. reynir@spurv:~/workspace/mirage-skeleton/tutorial/hello$...

The URL seems to have moved slightly: https://cloud.google.com/compute/docs/images/building-custom-os

Rebased on main which should fix the CI issue.

I later found the `hmaci_*` functions which would fit my current needs. Indeed, a `val with_key : key -> ctx` (or `hmac_ctx` if needed) would be nice to have.