devShells/nuttx.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

{ system, nixpkgs
, default, c
, arch, fpu ? null
}:
with builtins;
with nixpkgs.lib;
let
  pkgs = import nixpkgs.outPath {
    localSystem = system;
    crossSystem = {
      config = if (hasPrefix "armv" arch) then
        "arm-none-eabi" + (optionalString (fpu != null) "hf")
        else "riscv32-none-elf";
      libc = "newlib";
      gcc = {
        arch = arch;
      } // (optionalAttrs (fpu != null) { fpu = fpu; });
    };
  };

in pkgs.buildPackages.mkShell {
  packages = with pkgs.buildPackages; [
    kconfig-frontends genromfs xxd
    openocd
    gcc gdb
  ] ++ (optionals (hasPrefix "rv32" arch) [
    esptool
  ]);
  inputsFrom = [ default c ];
  meta.platforms = nixpkgs.lib.platforms.linux;
}