Linux device drivers in Cyclone
The source for four linux device drivers ported to Cyclone can be found here : http://cyclone.thelanguage.org/files/cyclone-drivers.tgz
Kernel headers known to work with these drivers can be found here http://cyclone.thelanguage.org/files/cyclone-drivers-headers.tgz
A very rough tech report describing the implementation of each of these drivers is here: http://cyclone.thelanguage.org/files/cyclone-drivers.pdf
For more information contact nswamy AT cs DOT umd DOT edu