generate dts

[devobliquezer0]

Hi all, this is an enhancement request:

Since zephyr also uses device-tree, albeit during compile time. I think making this repo behave more like the linux repo in terms of generating dts will make it easier to add more peripheral configs and board support.
Once make.py spits out both the bitstream and dts we can have the zephyr source use that to generate the firmware. Zephyr can then just have a generic vexriscv target instead of the arty specific one (It is pretty generic already, apart from the dts) .

This just makes adding more custom interfaces easy since that seems to be the main use-case, like adding 6 spi interface to tinyfpga_bx and sacrificing all i2c and all but one uart interface.

[josuah]

I think it is the case now (2.5 years later).
Can this be closed?