Linux driver development - sbh4.0 kernel