Code generation for Linux device driver

Device drivers are software interfaces between software applications and hardware devices. As part of complex operating system, device drivers are considered extremely difficult to develop. They are usually developed in low-level programming languages, such as C, that cannot provide type safety and device semantics. The device driver developers must have an in-depth understanding of given hardware and software platforms. This paper presents a method and tools to lower entry barriers of device driver development for software engineers who lack knowledge of operating system and hardware platform and to reduce development time and effort by introducing automations in device driver design process