diff options
Diffstat (limited to 'devShells')
| -rw-r--r-- | devShells/apo.nix | 6 | ||||
| -rw-r--r-- | devShells/nuttx.nix | 2 |
2 files changed, 3 insertions, 5 deletions
diff --git a/devShells/apo.nix b/devShells/apo.nix index a840670..b4ab8fd 100644 --- a/devShells/apo.nix +++ b/devShells/apo.nix @@ -7,10 +7,8 @@ localSystem = pkgs.buildPlatform.system; crossSystem = { config = "riscv32-none-elf"; - libc = "newlib-nano"; - gcc = { - arch = "rv32i"; - }; + libc = "newlib"; + gcc.arch = "rv32i"; }; }; in diff --git a/devShells/nuttx.nix b/devShells/nuttx.nix index 33f5761..506ea12 100644 --- a/devShells/nuttx.nix +++ b/devShells/nuttx.nix @@ -14,7 +14,7 @@ with pkgs.lib; let if (hasPrefix "armv" arch) then "arm-none-eabi" + (optionalString (fpu != null) "hf") else "riscv32-none-elf"; - libc = "newlib-nano"; + libc = "newlib"; gcc = { inherit arch; |