Translate python to micropython for Pico?

This thread might be useful for ICM20948, it contains a pure MicroPython driver that @Tonygo2 found. I think there’s also a CircuitPython driver for ICM20938 that it might be possible to convert?