Complete this task as part of your GSoC 2020 application if you are applying for any nix related task.
Please choose at least one of the following tasks and make sure to adhere to the Linux Kernel coding style.
Create a nix derivation that produces a sdcard image with
1. a FAT partition containing a u-boot built for zynq and a linux kernel compiled for zynq.
2. a ext4 partition with the normal NixOS userland
Create a nix derivation that compiles the zynq bitstream using vivado.
To get in touch with any mentor check the Mentor Contact List.