summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--joeyconfig.hs7
-rw-r--r--src/Propellor/Property/Machine.hs2
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/