If you need an RP2040-toting Kotlin Enthusiast who's more-or-less in your time zone, to run/double check anything at any point, please feel free to DM me.

Thank you for the support simple smile. At the moment I am trying to sort out an issue (dependencies not being picked up; e.g. target tool chain) with generating a static lib file, which has gone pear shaped: https://kotlinlang.slack.com/archives/C7L3JB43G/p1678156984159589