summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Bremner2018-10-07 22:15:31 -0300
committerDavid Bremner2018-10-08 09:57:20 -0300
commited118fb909ff5d5f5d030570878bdb1c0fe0ff18 (patch)
tree0b89d5338cc24d3c93dbc947e048695498c55a3d
parent80190c923ba28079ef23c4d630c9a7df3d4ee5c6 (diff)
add DirectBoot finalization
Eventually this should perhaps copy the kernel and initrd out of the chroot.
-rw-r--r--src/Propellor/Property/DiskImage.hs4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Propellor/Property/DiskImage.hs b/src/Propellor/Property/DiskImage.hs
index 289de151..a41af18c 100644
--- a/src/Propellor/Property/DiskImage.hs
+++ b/src/Propellor/Property/DiskImage.hs
@@ -228,6 +228,7 @@ imageBuilt' rebuild img mkchroot tabletype partspec =
ubootFlashKernelFinalized p
[FlashKernelInstalled, UbootInstalled p] ->
ubootFlashKernelFinalized p
+ [DirectBoot] -> directBootFinalized
_ -> unbootable "multiple bootloaders are installed; don't know which to use"
-- | This property is automatically added to the chroot when building a
@@ -469,6 +470,9 @@ grubFinalized grubtarget _img mnt loopdevs =
ubootFinalized :: (FilePath -> FilePath -> Property Linux) -> Finalization
ubootFinalized p (RawDiskImage img) mnt _loopdevs = p img mnt
+directBootFinalized :: Finalization
+directBootFinalized _img _mnt _loopDevs = doNothing
+
flashKernelFinalized :: Finalization
flashKernelFinalized _img mnt _loopdevs = FlashKernel.flashKernelMounted mnt