I am working to make a driver in Windows NT and I would like to find spec package, in ADA, to access to HAL.dll (Hardware Abstraction Layer) and NTOSKRNL.exe to develop the driver.
 
My compilators are ObjectADA and GNAT.
 
Thank you very much.
 
Fernando Gonzalo