From 15bd5a0e017bb1635ca82e013bf6c3d070b37572 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Mon, 13 Jun 2022 17:11:58 +0200
Subject: devShells: fix amrv6 and allow fpu to be used

---
 devShells/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'devShells/default.nix')

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;
 
-- 
cgit v1.2.3