logoalt Hacker News

anakainetoday at 7:45 AM0 repliesview on HN

Then the program should have been named the kernel level driver verification program.