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).

Yes, Wasm3 also targets Cortex-M4 and even Cortex-M0 :)

I see, thanks for the clarification!