summaryrefslogtreecommitdiff
path: root/src/Propellor
diff options
context:
space:
mode:
Diffstat (limited to 'src/Propellor')
-rw-r--r--src/Propellor/Property/DirectBoot.hs7
-rw-r--r--src/Propellor/Types/Bootloader.hs2
2 files changed, 9 insertions, 0 deletions
diff --git a/src/Propellor/Property/DirectBoot.hs b/src/Propellor/Property/DirectBoot.hs
new file mode 100644
index 00000000..4807471e
--- /dev/null
+++ b/src/Propellor/Property/DirectBoot.hs
@@ -0,0 +1,7 @@
+module Propellor.Property.DirectBoot(installed) where
+
+import Propellor.Base
+import Propellor.Types.Bootloader
+
+installed :: Property (HasInfo + UnixLike)
+installed = pureInfoProperty "direct boot" [DirectBoot]
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