How to use I2C devices in (Apache) NuttX: Adding support for an I2C device in your board

A random article talking about I2C on the NuttX RTOS.

I haven't heard of NuttX before, but the supported platforms (https://nuttx.apache.org/docs/latest/platforms/index.html) is quite impressive, including several chips I'm interested in. There's a number of 8-bit processors (albeit larger ones) on the list, though I'd assume this NuttX OS is best served on a microprocessor??