I'd like to work on tailoring a mainline MicroPython build to their boards - to support their peripherals - but it has, so far, been low on my priority list.