BBB Developing Device Drivers
This section is heavily inspired by Derek Molloy's fine writing about device driver development.
I downloaded the 2015-03-01 image and ran it from the SD card. See [BBB New Debian Image] when following these instructions:
First download the header files that will enable you to develop a device driver.
]$ apt-get update ]$ apt-cache search linux-headers-`uname -r`
provided you get a sensible result in the search continue with
]$ apt-get install linux-headers-3.8.13-bone70
Now you are ready for developing device drivers directly on the BBB. If you would like to perform cross development the header files shall be installed on your development PC by downloading the files from a repository somewher eon the Internet. See Derek Molloy's blog post for further details.