Schedulable Device Drivers: Implementation and Experimental Results