[genmud]

Its actually really nice and well supported. I personally prefer the sdk style that PICO does it over the cubemx stuff.

https://github.com/raspberrypi/pico-sdk