Interesting article. If we don't restrict to Unix-compatible userlands, there are many more impressive operating system kernels written in Pascal or its descendants, e.g. the UCSD p-System, Lisa OS and the Classic Macintosh OS. Windows at least used the Pascal calling convention in its 32 bit versions (though the system itself was not written in Pascal).