x64 hardware driver reference implementation