This VM is super simple: it doesn't have garbage collection and objects and class-level dynamic linking and a type system... it just has integers and floating p

This VM is super simple: it doesn't have garbage collection and objects and class-level dynamic linking and a type system... it just has integers and floating point numbers in a static memory array. It gives you a stack: that's about it; it is more similar to BPF or something, which notably is in the kernel. (I still agree with you.)