Compiling x86_64 bit drivers

Why open a new topic? Compiling device drivers was where one could follow the discussion.