diff options
| author | Joey Hess <joeyh@joeyh.name> | 2017-11-17 14:42:02 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-11-17 14:42:02 -0400 |
| commit | f9565ef960a321819fe0760a1277f17c087b5a18 (patch) | |
| tree | e3a70f946e318e62ad319670211f2739fa629364 | |
| parent | b2662cd33467d151b5bb84251750ac80d2dea5cd (diff) | |
propellor spin
| -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/ |