I’ve now documented the thing, copied below.
Device mapping happens after dmd is started, so it doesn’t work yet,
e.g., for the root file system, but I’ll fix it.
Ludo’.
6.2.3 Mapped Devices
The Linux kernel has a notion of "device mapping": a block device, such
as a hard
Hi!
With commit 5dae018, it’s possible to declared “mapped devices”. I use
it for my /home partition which is LUKS-encrypted:
--8<---cut here---start->8---
(operating-system
(host-name "pluto")
(timezone "Europe/Paris")
(locale "en_US.UTF-8")
(mapped-
