Deepak,
Of course, we all want to see the complete code base :)
As far as I remember, the main idea for the WRK is to support teaching OS curses and thus complementing the Microsoft Windows Internals Curriculum Resource Kit (CRK). According to this, I would agree that dealing with Windows PnP Manager is a little overkill for undergraduates. However, there has been no policy published so far that states what becomes part of the WRK and what doesn't.
As for your last question: The only officially available information about IoInvalidateDeviceRelations is contained in the Windows Driver Kit (WDK):
http://msdn.microsoft.com/en-us/library/ms801471.aspx. But of course, there is no source code available there ...
Maybe, we should start a new thread, a call for features, proposing a wishlist for prospective features of the next version of the WRK :)
Regards,
Alex
http://www.dcl.hpi.uni-potsdam.de/research/WRK