summaryrefslogtreecommitdiff
path: root/src/Propellor/Types
diff options
context:
space:
mode:
authorDavid Bremner2018-10-07 21:53:29 -0300
committerDavid Bremner2018-10-08 09:56:52 -0300
commit80190c923ba28079ef23c4d630c9a7df3d4ee5c6 (patch)
tree1c4a42ac1f9f10f2fb1495917555072cb4ee2c63 /src/Propellor/Types
parent47b6df5b9dc5391e2dd1dd17e72559a798c0cdce (diff)
Add a DirectBoot bootloader type.
This doesn't actually do anything to the chroot in question, just marks it as needing to be boot directly, e.g. by some external kernel and initrd.
Diffstat (limited to 'src/Propellor/Types')
-rw-r--r--src/Propellor/Types/Bootloader.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Propellor/Types/Bootloader.hs b/src/Propellor/Types/Bootloader.hs
index 65117bd2..cdb37a31 100644
--- a/src/Propellor/Types/Bootloader.hs
+++ b/src/Propellor/Types/Bootloader.hs
@@ -10,6 +10,7 @@ data BootloaderInstalled
= GrubInstalled GrubTarget
| FlashKernelInstalled
| UbootInstalled (FilePath -> FilePath -> Property Linux)
+ | DirectBoot
deriving (Typeable)
-- | Platforms that grub can boot.
@@ -19,6 +20,7 @@ instance Show BootloaderInstalled where
show (GrubInstalled _) = "GrubInstalled"
show FlashKernelInstalled = "FlashKernelInstalled"
show (UbootInstalled _) = "UbootInstalled"
+ show DirectBoot = "DirectBoot"
instance IsInfo [BootloaderInstalled] where
propagateInfo _ = PropagateInfo False