I am conducting one workshop at FUDCon in which I am trying to teach how to write

and send your first linux kernel device driver. Could please suggest me the place where I

can guide the students to send the device driver?