Experienced system software developer in my opinion has no need in such a library. But for a newbie in driver development maybe it could somehow help to lay down from um to km...

It is like to develop drivers with help of Jungo/WinDriver/etc. or DriverStudio. However the last one could be used as a test/debug suite...

P.S. It is all my IMHO