From b02c4a932d96d0beef364aa5db47106bd0414005 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Thu, 16 Nov 2017 16:16:32 -0400 Subject: 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. --- src/Propellor/Property/Machine.hs | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 src/Propellor/Property/Machine.hs (limited to 'src') 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"] -- cgit v1.2.3