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:
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds