summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorJoey Hess2017-11-16 16:41:07 -0400
committerJoey Hess2017-11-16 16:41:07 -0400
commit19feb8451b75ae669b45add9e9d9851a542fd981 (patch)
tree9255cd235e3150e8f0a0e406ea4ee0618a2b7c35 /src
parent4f2bd92e568baf1b061f7f2fc82288d320de3346 (diff)
propellor spin
Diffstat (limited to 'src')
-rw-r--r--src/Propellor/Property/Machine.hs21
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