next up previous contents index
Next: 8.20 Block Storage Device Up: 8 OSKit Device Driver Previous: 8.18.4 osenv_panic: Abort driver

8.19 Device Registration

Nothing here yet, sorry. See Section 15.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.



Utah Flux Research Group