https://opensource.antmicro.com/projects/zephyr-fpga-controller-examples is really really cool

Notes from research:

Matt Venn Hackaday talk: