NixOS Challenge
Open, HighPublic

Description

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.

Related Objects

vup created this task.Thu, Feb 18, 11:47 PM
vup mentioned this in T1231: NixOS on the camera.
vup updated the task description. (Show Details)Thu, Feb 18, 11:49 PM
anuejn updated the task description. (Show Details)Fri, Feb 19, 12:39 AM
sebastian updated the task description. (Show Details)Fri, Feb 19, 6:48 PM
sebastian triaged this task as High priority.Sat, Feb 20, 10:03 AM
Bertl renamed this task from nix qualification task to NixOS Challenge.Sat, Feb 20, 5:30 PM