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.