diff options
| -rw-r--r-- | joeyconfig.hs | 7 | ||||
| -rw-r--r-- | src/Propellor/Property/Machine.hs | 2 |
2 files changed, 7 insertions, 2 deletions
diff --git a/joeyconfig.hs b/joeyconfig.hs index e1329c80..0a018826 100644 --- a/joeyconfig.hs +++ b/joeyconfig.hs @@ -98,9 +98,12 @@ darkstar = host "darkstar.kitenet.net" $ props & imageBuilt (RawDiskImage "/srv/sheevaplug.img") (hostChroot sheevaplug (Debootstrapped mempty)) MSDOS - [ partition EXT4 + [ partition EXT2 + `mountedAt` "/boot" + `setSize` MegaBytes 150 + , partition EXT4 `mountedAt` "/" - `setSize` MegaBytes 900 + `setSize` MegaBytes 750 ] sheevaplug :: Host diff --git a/src/Propellor/Property/Machine.hs b/src/Propellor/Property/Machine.hs index 22bc9a58..83c1c42a 100644 --- a/src/Propellor/Property/Machine.hs +++ b/src/Propellor/Property/Machine.hs @@ -34,6 +34,8 @@ data Marvell_SheevaPlug_BootDevice -- | Marvel SheevaPlug -- +-- Needs a small /boot partition formatted EXT2 +-- -- Note that u-boot may need to be upgraded manually, and will need to be -- configured to boot from the SD card or eSATA. See -- https://www.cyrius.com/debian/kirkwood/sheevaplug/install/ |