From my experience on the Raspberry Pi rp2040, adding C code to a micropython build is very straightforward