summaryrefslogtreecommitdiff
path: root/src/Propellor
diff options
context:
space:
mode:
authorJoey Hess2017-11-16 16:16:32 -0400
committerJoey Hess2017-11-16 16:16:32 -0400
commitb02c4a932d96d0beef364aa5db47106bd0414005 (patch)
tree355525e747fa57fe43e247199a3a0126a8deb4c8 /src/Propellor
parent69423c9a7d052ef667ab2e5e2e4b1bbee76cc69b (diff)
Machine: New module
Machine-specific properties for ARM boards are being collected here See http://linux-sunxi.org/Mainline_Debian_HowTo and https://wiki.debian.org/InstallingDebianOn/Allwinner and https://wiki.debian.org/DebianKernel/ARMMP Currently has 2 arm boards that I use. This commit was sponsored by Anthony DeRobertis on Patreon.
Diffstat (limited to 'src/Propellor')
-rw-r--r--src/Propellor/Property/Machine.hs37
1 files changed, 37 insertions, 0 deletions
diff --git a/src/Propellor/Property/Machine.hs b/src/Propellor/Property/Machine.hs
new file mode 100644
index 00000000..61a77492
--- /dev/null
+++ b/src/Propellor/Property/Machine.hs
@@ -0,0 +1,37 @@
+-- | Machine-specific properties.
+--
+-- Many embedded computers have their own special configuration needed
+-- to use them. Rather than needing to hunt down documentation about the
+-- kernel, bootloader, etc needed by a given board, if there's a property
+-- in here for your board, you can simply use it.
+
+module Propellor.Property.Machine (
+ -- * ARM boards
+ Olimex_A10_OLinuXino_LIME,
+ Cubietech Cubietruck
+)
+
+-- | Olimex A10-OLinuXino-LIME
+Olimex_A10_OLinuXino_LIME :: Property (HasInfo + DebianLike)
+Olimex_A10_OLinuXino_LIME = FlashKernel.installed "Olimex A10-OLinuXino-LIME"
+ `requires` sunixi
+ `requires` armmp
+
+-- | Cubietech Cubietruck
+Cubietech_Cubietruck :: Property (HasInfo + DebianLike)
+Cubietech_Cubietruck = FlashKernel.installed "Cubietech Cubietruck"
+ `requires` sunixi
+ `requires` lpae
+
+sunixi :: Property DebianLike
+sunixi = Apt.installed
+ [ "firmware-linux-free"
+ , "u-boot"
+ , "sunxi-tools"
+ ]
+
+armmp :: Property DebianLike
+armmp = Apt.installed ["linux-image-armmp"]
+
+lpae :: Property DebianLike
+lpae = Apt.installed ["linux-image-armmp-lpae"]