1
0
Fork 0
mirror of https://github.com/NixOS/nixos-hardware synced 2024-11-14 06:59:41 +01:00
nixos-hardware/microchip
Mika Tammi 1723853180 microchip icicle-kit: Fixes to kernel
* Improve by changing from legacy extraConfig to the
  structuredExtraConfig style kerenl configuration.
* Remove few unneeded kernel modules from default configuration.
* Make kernelPatches, structuredExtraConfig and extraMeta overrideable.
* Change callPackage-style function to actually take the individual
  attributes from pkgs.
* Get rid of recursive syntax.

Signed-off-by: Mika Tammi <mika.tammi@unikie.com>
2024-01-05 12:36:28 +00:00
..
common microchip icicle-kit: Fixes to kernel 2024-01-05 12:36:28 +00:00
icicle-kit remove unused variables with deadnix 2023-12-25 20:25:23 +00:00
README.md Add Microchip Icicle-kit board support. 2023-04-26 22:55:57 +04:00

Microchip Icicle-kit board support

1. Supported devices

  • Microchip Icicle Kit (mpfs-icicle-kit) - device-specific U-boot and Linux kernel, nixos configuration example.

2. How to use?

Currently this overlay is used for generating bootable NixOS SD images.

Code snippet example that enables icicle-kit configuration:

{ nixos-hardware, }: {
  system = "aarch64-linux";
  modules = [
    nixos-hardware.nixosModules.icicle-kit
  ];
}