nix-linux4polarfire

This repository contains a framework for configuring and building Linux for Microchip Polarfire Icicle kit using Nixpkgs.

Run following Nix command to build kernel.

$ nix-build linux