nextthing/chip: init

[chuangzhu]

Description of changes

Things done

• Tested the changes in your own NixOS Configuration
• Tested the changes end-to-end by using your fork of nixos-hardware and
  importing it via <nixos-hardware> or Flake input

[Mic92]

Overlays have a certain cost and prevent from re-using nixpkgs instances across Nico's systems. Is it possible to use callPackage here?

[Mic92]

This should allow the same code sharing and is code flow wise easier to reason about.

[chuangzhu]

Using overlays allow easy overriding and customization. The alternatives I tried seemed messy, especially if you consider that this device have a lot of "DIP"s (like Raspberry Pi HATs), PocketCHIP being one of them, each may want some extra U-Boot configurations.

[qbit]

It sees the instructions for Install U-Boot to NAND are a bit off:

qbit@europa[0]:~/src/xin(main); nix build .\#nixosConfigurations.pc.config.system.build.uboot -o result-uboot -vL
fetching git input 'git+file:///home/qbit/src/xin'
warning: Git tree '/home/qbit/src/xin' is dirty
qbit@europa[0]:~/src/xin(main); ls result-uboot
nix-support  u-boot-sunxi-with-spl.bin
qbit@europa[0]:~/src/xin(main);

Testing building with nextthing-chip-pocketchip and nextthing-chip modules. Both produce only the u-boot-sunxi-with-spl.bin file.

[chuangzhu]

Both produce only the u-boot-sunxi-with-spl.bin file.

Fixed :)

[qbit]

I was able to install on my pocketchip with this :D