I'm looking into ThreadX intergration with RP2040 boards. - EdgeBench