Hi Andrew
I'm aware of that development, the idea is to expand them.
I wrote C and micropython drivers for many FPGA-implemented peripherals,
including high resolution graphics, USB mouse/keyboard, audio, etc.
The idea is to maintain that and to support as much peripherals/boards as
possible
On
There is a litex (https://github.com/enjoy-digital/litex) target for nuttx
and litex supports generating a soc for many fpga Dev boards. While the
nuttx docs focus on using diligent arty, none of this is arty specific.
We are actively moving the litex support forward, with both flat and kernel
tar
