lanzaboote/rust
nikstur db75203e31 tool: split esp paths
To access paths on the ESP before or after installing generations, split
EspPaths into general EspPaths that only depend on the path to the ESP
and EspGenerationPaths which additionally depend on generation specific
information (e.g. version number and initrd filename).
2023-01-25 00:24:40 +01:00
..
stub treewide: simplify subproject names 2023-01-17 21:31:14 +01:00
tool tool: split esp paths 2023-01-25 00:24:40 +01:00