Guidelines on how to compile a hardware device page