Sounds very similar to the various unikernel implementations floating around ? Such as Unikernel[1]

[1] https://unikraft.org

unikraft's internals are not open source so I can't say.

But smol machines are not an implementation of unikernel - it's basically just the linux kernel but slimmed down. So, more compatible with most software.