nixos-hardware/microchip/README.md
Ganga Ram 55b794ba77 microchip icicle-kit README update
Signed-off-by: Ganga Ram <Ganga.Ram@tii.ae>
2024-02-27 16:17:03 +04:00

526 B

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 = "riscv64-linux";
  modules = [
    nixos-hardware.nixosModules.icicle-kit
  ];
}