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.
**Task 1**:
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
**Task 2**:
Create a nix derivation that compiles the zynq bitstream using vivado.
**Useful Links**:
https://github.com/apertus-open-source-cinema/axiom-firmware/tree/master/makefiles/host
https://github.com/apertus-open-source-cinema/axiom-firmware/tree/master/peripherals/soc_main
**Mentors**: vup
To get in touch with any mentor check the Mentor Contact List.