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
32
33
34
35
36
37
38
39
40
41
42

{
  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-nano";
      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;
  }