diff options
Diffstat (limited to 'devShells/default.nix')
| -rw-r--r-- | devShells/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devShells/default.nix b/devShells/default.nix index 108d6a3..6c91b20 100644 --- a/devShells/default.nix +++ b/devShells/default.nix @@ -9,8 +9,8 @@ let in { - armv6 = callDevelop ./nuttx.nix "armv6-m"; - armv7e = callDevelop ./nuttx.nix "armv7e-m"; + armv6 = callDevelop ./nuttx.nix { arch = "armv6s-m"; }; + armv7e = callDevelop ./nuttx.nix { arch = "armv7e-m"; fpu = "vfpv3-d16"; }; c = callDevelop ./c.nix; riscv = callDevelop ./riscv.nix; |