lenn/nixos-hardware
1
0
Fork 0
mirror of https://github.com/NixOS/nixos-hardware.git synced 2025-11-04 17:27:14 +08:00
Code Issues Packages Projects Releases Wiki Activity
Files
7763c6fd1f299cb9361ff2abf755ed9619ef01d6
nixos-hardware/microchip
History
Ganga Ram 3d4a18fac8 Microchip Icicle Kit BSP update 
- Kernel upadated to 6.1.43
- Uboot updated to 2023.07.02

Signed-off-by: Ganga Ram <Ganga.Ram@tii.ae>
2023-10-12 08:40:19 +00:00
..
common
Microchip Icicle Kit BSP update
2023-10-12 08:40:19 +00:00
icicle-kit
Add Microchip Icicle-kit board support.
2023-04-26 22:55:57 +04:00
README.md
Add Microchip Icicle-kit board support.
2023-04-26 22:55:57 +04:00

README.md

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
  ];
}