From 4f2bd92e568baf1b061f7f2fc82288d320de3346 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Thu, 16 Nov 2017 16:20:52 -0400 Subject: minor --- src/Propellor/Property/Machine.hs | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) (limited to 'src/Propellor/Property/Machine.hs') diff --git a/src/Propellor/Property/Machine.hs b/src/Propellor/Property/Machine.hs index 61a77492..e193c4a2 100644 --- a/src/Propellor/Property/Machine.hs +++ b/src/Propellor/Property/Machine.hs @@ -2,27 +2,27 @@ -- -- 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. +-- kernel, bootloader, etc needed by a given machine, if there's a property +-- in here for your machine, you can simply use it. module Propellor.Property.Machine ( -- * ARM boards - Olimex_A10_OLinuXino_LIME, - Cubietech Cubietruck + Cubietech Cubietruck, + Olimex_A10_OLinuXino_LIME ) --- | 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 +-- | 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 + sunixi :: Property DebianLike sunixi = Apt.installed [ "firmware-linux-free" -- cgit v1.2.3