diff options
| author | Joey Hess <joeyh@joeyh.name> | 2017-11-16 16:41:07 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-11-16 16:41:07 -0400 |
| commit | 19feb8451b75ae669b45add9e9d9851a542fd981 (patch) | |
| tree | 9255cd235e3150e8f0a0e406ea4ee0618a2b7c35 /src/Propellor/Property/Machine.hs | |
| parent | 4f2bd92e568baf1b061f7f2fc82288d320de3346 (diff) | |
propellor spin
Diffstat (limited to 'src/Propellor/Property/Machine.hs')
| -rw-r--r-- | src/Propellor/Property/Machine.hs | 21 |
1 files changed, 14 insertions, 7 deletions
diff --git a/src/Propellor/Property/Machine.hs b/src/Propellor/Property/Machine.hs index e193c4a2..2f356bdd 100644 --- a/src/Propellor/Property/Machine.hs +++ b/src/Propellor/Property/Machine.hs @@ -7,19 +7,26 @@ module Propellor.Property.Machine ( -- * ARM boards - Cubietech Cubietruck, - Olimex_A10_OLinuXino_LIME -) + cubietech_Cubietruck, + olimex_A10_OLinuXino_LIME +) where + +import Propellor.Base +import qualified Propellor.Property.Apt as Apt +import qualified Propellor.Property.FlashKernel as FlashKernel -- | Cubietech Cubietruck -Cubietech_Cubietruck :: Property (HasInfo + DebianLike) -Cubietech_Cubietruck = FlashKernel.installed "Cubietech Cubietruck" +-- +-- Wifi needs non-free firmware-brcm80211, whicn is not installed by +-- this property. Also, see https://bugs.debian.org/844056 +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" +olimex_A10_OLinuXino_LIME :: Property (HasInfo + DebianLike) +olimex_A10_OLinuXino_LIME = FlashKernel.installed "Olimex A10-OLinuXino-LIME" `requires` sunixi `requires` armmp |