Write the linux driver header file