summaryrefslogtreecommitdiff
path: root/src/Propellor/Property/Machine.hs
diff options
context:
space:
mode:
authorJoey Hess2017-11-16 16:20:52 -0400
committerJoey Hess2017-11-16 16:20:52 -0400
commit4f2bd92e568baf1b061f7f2fc82288d320de3346 (patch)
tree55578379681b0b2332ed22d2bf95b258be7796dd /src/Propellor/Property/Machine.hs
parentb02c4a932d96d0beef364aa5db47106bd0414005 (diff)
minor
Diffstat (limited to 'src/Propellor/Property/Machine.hs')
-rw-r--r--src/Propellor/Property/Machine.hs20
1 files changed, 10 insertions, 10 deletions
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"