Writing GCWerks device drivers