diff options
Diffstat (limited to 'infra/libkookie/nixpkgs/lib/systems/examples.nix')
-rw-r--r-- | infra/libkookie/nixpkgs/lib/systems/examples.nix | 27 |
1 files changed, 24 insertions, 3 deletions
diff --git a/infra/libkookie/nixpkgs/lib/systems/examples.nix b/infra/libkookie/nixpkgs/lib/systems/examples.nix index 87c05a0b0524..16002450f2d1 100644 --- a/infra/libkookie/nixpkgs/lib/systems/examples.nix +++ b/infra/libkookie/nixpkgs/lib/systems/examples.nix @@ -7,7 +7,7 @@ let riscv = bits: { config = "riscv${bits}-unknown-linux-gnu"; - platform = platforms.riscv-multiplatform bits; + platform = platforms.riscv-multiplatform; }; in @@ -34,6 +34,16 @@ rec { platform = platforms.raspberrypi; }; + remarkable1 = { + config = "armv7l-unknown-linux-gnueabihf"; + platform = platforms.zero-gravitas; + }; + + remarkable2 = { + config = "armv7l-unknown-linux-gnueabihf"; + platform = platforms.zero-sugar; + }; + armv7l-hf-multiplatform = { config = "armv7l-unknown-linux-gnueabihf"; platform = platforms.armv7l-hf-multiplatform; @@ -100,13 +110,18 @@ rec { riscv64-embedded = { config = "riscv64-none-elf"; libc = "newlib"; - platform = platforms.riscv-multiplatform "64"; + platform = platforms.riscv-multiplatform; }; riscv32-embedded = { config = "riscv32-none-elf"; libc = "newlib"; - platform = platforms.riscv-multiplatform "32"; + platform = platforms.riscv-multiplatform; + }; + + mmix = { + config = "mmix-unknown-mmixware"; + libc = "newlib"; }; msp430 = { @@ -124,6 +139,12 @@ rec { platform = {}; }; + or1k = { + config = "or1k-elf"; + libc = "newlib"; + platform = {}; + }; + arm-embedded = { config = "arm-none-eabi"; libc = "newlib"; |