diff options
| author | Joey Hess <joeyh@joeyh.name> | 2017-11-16 15:51:21 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-11-16 15:51:21 -0400 |
| commit | 540faf8215f8c38e1c6f8da4d82776986eea62a6 (patch) | |
| tree | cb76aba1fea6137c183c715e62d6d98b1c86c62b /src/Propellor/Property/DiskImage.hs | |
| parent | 73e2ad46bd7472812008745125656661432eb092 (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.hs | 1 |
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" |