altoplano / gdev

This is a temporal git repository for Gdev - a new set of the device driver and runtime library integrated in the OS. We are currently working on an academic paper on Gdev. Once it is published, we will move the git repositry to our official server at UC Santa Cruz. Until then, the source code is available here. *Acknowledgement: We thank PathScale Inc. for sharing their tools with us.