4 ms·Devil: a high-level language for writing low-level device drivers [pdf]6 points by gnosis 16y ago