10 commits

Author	SHA1	Message	Date
swrup	6cb6a96784	add --postgres-password cmdline arg + make keys	2026-07-03 19:53:24 +02:00
swrup	3124ffb4ad	better pin-depends	2026-07-03 19:53:23 +02:00
swrup	b1a8a2da5f	don't crunch secmod.fat	2026-07-03 19:53:23 +02:00
swrup	305818ae4a	refacto	2026-07-03 19:53:23 +02:00
swrup	1c0167f401	refacto secmod	2026-07-03 19:53:23 +02:00
swrup	42b0ec1445	add result.ml; polymorphic variant errors + refacto	2026-07-03 19:53:23 +02:00
swrup	9fd3b5a3cc	add more dune deps + use public_names	2026-07-03 19:53:23 +02:00
swrup	ec4e166173	mfat path: keep it simple	2026-07-03 19:53:23 +02:00
swrup	9c9414e96b	update offline tool; fix dune-workspace	2026-07-03 19:53:23 +02:00
swrup	a23e59dfca	MTE unikernel with Mkernel+Mnet+Vifu	2026-07-03 19:53:23 +02:00