On: The Windows Driver Frameworks are on GitHub

[ximeng]

Didn't recognise SAL - assuming it is source annotation language:

https://www.cs.cmu.edu/~fp/courses/15122-f10/lectures/25-sal...

It looks like this can be used:

https://msdn.microsoft.com/en-us/library/ms182032(v=vs.110)....