cleverca22 / not-os

An operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.
MIT License
816 stars 39 forks source link

Enable FPGA programming support for Zynq-7000 #33

Open fsagbuya opened 8 months ago

fsagbuya commented 8 months ago

Description

NOTE: This PR is based on the changes in PR #28. Please merge PR #28 before reviewing this.

This patch enables the user-space interface for sysfs that is necessary to program FPGA's PL part. Enable programming using fpga-manager and device-tree overlay.

See: https://xilinx-wiki.atlassian.net/wiki/spaces/A/pages/18841645/Solution+Zynq+PL+Programming+With+FPGA+Manager

Changes: