Yes, we're talking about Raspberry Pi Pico (RP2040) here.
Not the Linux-based SBCs (Single Board Computers)
Curious if you've seen the WAMR runtime which is explicitly designed to be lightweight enough for freestanding embedded systems on some higher end microcontrollers (Cortex-M4F).