If you look on google.com with the right search phrases you find this is not something you cure with copying in a hal.dll.
Example searches. Since I have no full details I can't tell you a real cure. Also since it's work related and not personal I don't work too hard at this. It's something a business needs to get the right staff for.
Read some at http://www.google.com/search?hl=en&safe=off&q=%22WINDOWS+NT+4.0%22+IRQL+0XA&btnG=Search
Bob
I have an OLD HP server running NT that I inherited with my job 6 months ago. I came in this morning to find a blue screen of death with the fist two lines reading as such -
1) STOP 0x0000000A (0xBFD14AAC, 0x000000FF, 0x00000000, 0x8000F67C)
2) IRQL_NOT_LESS_OR_EQUAL***Address 8000f67c has base at 80001000 - hal.dll
Am I correct that my HDD has lost hal.dll? Can I replace it with hal.dll from another OS? I am not very good with DOS commands (I hate to admit), so how would I replace it?
Thanks in advance for the help.

Chowhound
Comic Vine
GameFAQs
GameSpot
Giant Bomb
TechRepublic