Amd64 kernel reference implementation