User: Password:
|
|
Subscribe / Log in / New account

Generating driver code from specification

Generating driver code from specification

Posted Nov 24, 2011 22:10 UTC (Thu) by cpeterso (guest, #305)
Parent article: Drivers as documentation

Device drivers are such a huge portion of Linux kernel code (and bugs!) that creating a domain specific language might be a worthwhile abstraction. The DSL compiler could have lots of static error checking and then generate driver code. As kernel APIs or best practices change, then DSL compiler can be updated and regenerate new drivers without changing the input specs.

A sneaky benefit is that the spec DSL could be designed such that device manufacturers must better document how their hardware actually works. :)

Intel Labs is working on a project (with funding from Google) called Termite that generates driver code from a hardware specification language:

http://ertos.nicta.com.au/research/drivers/synthesis/

http://www.theregister.co.uk/2011/06/10/automatic_device_...


(Log in to post comments)


Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds