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.
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.