The free device-driver development toolkit (DDK) written in Python.