diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Propellor/Property/Machine.hs | 37 |
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"] |