summaryrefslogtreecommitdiff
path: root/src/Propellor/Property/DiskImage.hs
diff options
context:
space:
mode:
authorJoey Hess2017-11-16 15:51:21 -0400
committerJoey Hess2017-11-16 15:51:21 -0400
commit540faf8215f8c38e1c6f8da4d82776986eea62a6 (patch)
treecb76aba1fea6137c183c715e62d6d98b1c86c62b /src/Propellor/Property/DiskImage.hs
parent73e2ad46bd7472812008745125656661432eb092 (diff)
flash-kernel support
Can be used to create disk images for arm boards using flash-kernel. This commit was sponsored by Ewen McNeill.
Diffstat (limited to 'src/Propellor/Property/DiskImage.hs')
-rw-r--r--src/Propellor/Property/DiskImage.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Propellor/Property/DiskImage.hs b/src/Propellor/Property/DiskImage.hs
index 6c1a572c..7493dd21 100644
--- a/src/Propellor/Property/DiskImage.hs
+++ b/src/Propellor/Property/DiskImage.hs
@@ -192,6 +192,7 @@ imageBuilt' rebuild img mkchroot tabletype partspec =
-- installed.
final = case fromInfo (containerInfo chroot) of
[GrubInstalled] -> grubBooted
+ [FlashKernelInstalled] -> \_ _ -> doNothing
[] -> unbootable "no bootloader is installed"
_ -> unbootable "multiple bootloaders are installed; don't know which to use"