ToDo:

  • This guide is probably out of date in some points: the build system got reworked in the meantime I believe...
  • The formatting here needs serious cleanup
  • Might be nice to explain how to find out the right Linux driver, and in which source file it resides