tomOSii implements a basic device driver core.
Furthermore, it currently provides the following documented device drivers
Trying to Orderly Make an Operating System
Components
General