I didn't read a lot about it, but I recall that Microsoft created a language called P that was a DSL for writing device drivers (more generally, state machines,

I didn't read a lot about it, but I recall that Microsoft created a language called P that was a DSL for writing device drivers (more generally, state machines, but I think the point was to use it for device drivers). I also recall they (allegedly, at least) used it to rewrite the USB stack for Windows 8. Looks like they released the compiler under the MIT license and put it on Github, so you may want to look into it. https://en.wikipedia.org/wiki/P_(programming_language) https://en.wikipedia.org/wiki/P_(programming_language) https://p-org.github.io/P/ https://p-org.github.io/P/ https://www.microsoft.com/en-us/research/project/safe-asynchronous-programming-p-p/ https://www.microsoft.com/en-us/research/project/safe-asynch...