diff options
Diffstat (limited to 'develop/nuttx.nix')
-rw-r--r-- | develop/nuttx.nix | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/develop/nuttx.nix b/develop/nuttx.nix deleted file mode 100644 index 3066997..0000000 --- a/develop/nuttx.nix +++ /dev/null @@ -1,23 +0,0 @@ -{ nixpkgs, shellrc, system }: arch: -let - pkgs = nixpkgs.legacyPackages.${system}; - pkgs-riscv = import nixpkgs.outPath { - localSystem = system; - crossSystem = { - config = "arm-none-eabi"; - libc = "newlib"; - gcc = { - arch = arch; - }; - }; - }; - -in pkgs.mkShell { - packages = (with pkgs; [ - kconfig-frontends - ]) ++ (with pkgs-riscv.buildPackages; [ - gcc gdb - ]); - inputsFrom = [ shellrc.packages.${system}.default ]; - meta.platforms = nixpkgs.lib.platforms.linux; -} |