Nothing here yet, sorry. See Section 12.2 for a tiny bit more information on our current default implementation of device registration. More information can be gained from the extensively commented header files in the directory <oskit/dev>, starting with file device.h.