Vivado: also generate device_manager.config

genodelabs / goa

Tool for streamlining the development of Genode applications

GNU Affero General Public License v3.0

19 stars 17 forks source link

Vivado: also generate device_manager.config #23

Closed jschlatow closed 1 year ago

jschlatow commented 1 year ago

@nfeske I extended the vivado support to include a devices_manager.config in the bitstream archives. This config is intended to be used by the drivers_fpga-zynq package.

nfeske commented 1 year ago

Cool! I just merged your commit.