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