diff options
author | John Ericson <John.Ericson@Obsidian.Systems> | 2018-05-10 17:31:07 -0400 |
---|---|---|
committer | John Ericson <John.Ericson@Obsidian.Systems> | 2018-05-10 18:02:00 -0400 |
commit | 1fe81a4bcd25dba9319bc1bb49b078872f28ffa6 (patch) | |
tree | 7b3e9f467f4f7912645760fcbc73efc5bed47409 /lib/systems/examples.nix | |
parent | c9f6a82b619675a4ee1eb4fe9eac57efb69232fe (diff) | |
download | nixlib-1fe81a4bcd25dba9319bc1bb49b078872f28ffa6.tar nixlib-1fe81a4bcd25dba9319bc1bb49b078872f28ffa6.tar.gz nixlib-1fe81a4bcd25dba9319bc1bb49b078872f28ffa6.tar.bz2 nixlib-1fe81a4bcd25dba9319bc1bb49b078872f28ffa6.tar.lz nixlib-1fe81a4bcd25dba9319bc1bb49b078872f28ffa6.tar.xz nixlib-1fe81a4bcd25dba9319bc1bb49b078872f28ffa6.tar.zst nixlib-1fe81a4bcd25dba9319bc1bb49b078872f28ffa6.zip |
lib: Clean up float/fpu options
ARM ABIs now have a float field. This is used as a fallback to lessen our use of `platform.gcc.float`. I didn't know what the MIPs convention is so I kept using `platform.gcc.float` in that case.
Diffstat (limited to 'lib/systems/examples.nix')
-rw-r--r-- | lib/systems/examples.nix | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/lib/systems/examples.nix b/lib/systems/examples.nix index 80e320406bf4..32c24bab7c98 100644 --- a/lib/systems/examples.nix +++ b/lib/systems/examples.nix @@ -11,21 +11,16 @@ rec { sheevaplug = rec { config = "armv5tel-unknown-linux-gnueabi"; - float = "soft"; platform = platforms.sheevaplug; }; raspberryPi = rec { config = "armv6l-unknown-linux-gnueabihf"; - float = "hard"; - fpu = "vfp"; platform = platforms.raspberrypi; }; armv7l-hf-multiplatform = rec { config = "armv7a-unknown-linux-gnueabihf"; - float = "hard"; - fpu = "vfpv3-d16"; platform = platforms.armv7l-hf-multiplatform; }; @@ -47,26 +42,24 @@ rec { pogoplug4 = rec { config = "armv5tel-unknown-linux-gnueabi"; - float = "soft"; platform = platforms.pogoplug4; }; ben-nanonote = rec { config = "mipsel-unknown-linux-uclibc"; - float = "soft"; platform = { name = "ben_nanonote"; kernelMajor = "2.6"; kernelArch = "mips"; gcc = { arch = "mips32"; + float = "soft"; }; }; }; fuloongminipc = rec { config = "mipsel-unknown-linux-gnu"; - float = "hard"; platform = platforms.fuloong2f_n32; }; |