There is a tremendous range of common hardware available these days, each typically supporting its own device programming interface and requiring a special device driver. Device drivers for a given device are generally only available for a few OS's, depending on how well-established the particular OS is. Clearly our OS rtker does not fall in that category. Also writing device drivers was not a goal of our project.
One option to get around this problem was to keep the Device Driver Framework compatible with that of a standard OS like Linux. This would ensure direct portability of any linux device driver to our OS. This was the fundamental motivation behind our Device Driver Framework Design.