10:04 <AndrewD> Just wondering if anyone in litex land is interested in collaborating on support for Nuttx: https://nuttx.apache.org/?

10:04 <tpb> Title: Home (at nuttx.apache.org)

10:05 <AndrewD> It already has basic support for artix-a7 and we have a working sd-card driver that we are about to push to nuttx for review

10:07 <AndrewD> We are also looking at device tree support, based on the proof of concept referenced here: https://github.com/apache/incubator-nuttx/issues/3031

10:07 <tnt> AndrewD: not specifically litex but I'd love to write a driver for my no2usb device core. It has a litex wrapper but also usable outside of it.

10:11 <AndrewD> tnt: nice! We've been playing with nuttx a bit and it seems like a nice fit for litex: smaller than linux and scales down a long way so shoudl be usable for ICE40, etc

10:14 <AndrewD> tnt: I must admit I'd never heard of the SIU acronym, but a quick google makes it sound like an interesting core

10:32 <tnt> AndrewD: tx. I still need to finish up generalizing it to other fpga arch ... (I've run in in ecp5/s7/... but never took the time to clean up that code and merge it).