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.

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"]