Description Rathaxes is DSL to write device drivers. The language is designed to separate device specific and OS specific code to make driver code re-usable across different devices, different kernel versions and totally different kernels.
Has website http://www.rathaxes.org/
Persons working on
Located at assembly LSE
Other projects...

Rathaxes is a DSL to write device drivers. Our model separates device specific (i.e: OS independent) code from OS specific (i.e: device independent) code. This allow us to re-use code across different devices and different operating systems.

Drivers are written in instrumented C and pure Rathaxes for some parts are then compiled to C and finally handed over to the target OS tool-chain. We made a talk at Fosdem in February which resumes our progress.

At the 30C3, Kalessin will be working on a e1000 driver implementation in Rathaxes and possibly on other stuff.