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