Kernel Extensions and Device Support Programming Concepts