Since it is a different OS, I would guess “no”. I also see no reference to needed .dll files in the article, although it does mention that it doesn’t require a special graphics card API to function properly.
Now I wonder how they do that? I suppose all the modern graphics cards will support SVGA, but how do they interface to additional functionality?
I assume they provide the source code. This could be a great thing for building custom applications with minimal software overhead. I very much like that. I have long lamented the degree of crap you have to load just to get even simple functionality out of a Windows based machine.
I can see a whole lot of possibilities for an assembly code based operating system, and I bet it runs like lightning.