diff options
Diffstat (limited to 'lib')
-rw-r--r-- | lib/systems/examples.nix | 2 | ||||
-rw-r--r-- | lib/systems/platforms.nix | 7 |
2 files changed, 0 insertions, 9 deletions
diff --git a/lib/systems/examples.nix b/lib/systems/examples.nix index 170db6fb9fa0d..e41290864ed19 100644 --- a/lib/systems/examples.nix +++ b/lib/systems/examples.nix @@ -79,8 +79,6 @@ rec { useLLVM = true; }; - scaleway-c1 = armv7l-hf-multiplatform // platforms.scaleway-c1; - pogoplug4 = { config = "armv5tel-unknown-linux-gnueabi"; } // platforms.pogoplug4; diff --git a/lib/systems/platforms.nix b/lib/systems/platforms.nix index 72535372fc2bc..d93d292a9fb5c 100644 --- a/lib/systems/platforms.nix +++ b/lib/systems/platforms.nix @@ -242,13 +242,6 @@ rec { }; }; - scaleway-c1 = armv7l-hf-multiplatform // { - gcc = { - cpu = "cortex-a9"; - fpu = "vfpv3"; - }; - }; - utilite = { linux-kernel = { name = "utilite"; |