Ask HN: Is any of Dave Cutler's code open source?

Just read an article from Microsoft on Dave Cutler receiving CHM Fellow title, and was wondering if any of his code is publicly available.