What does this fine and respectable community think about LambdaChip?
https://lambdachip.com/index/
AFAIU it's a Scheme VM hooked up to Zephyr RTOS (Apache 2 license). You compile on a regular computer and the VM lets you run Scheme on small embedded systems, like a Cortex M4 or something. They even sell a board. The "chip" part of the name is a misnomer though, it's a VM.