DMSDOS - Linux kernel driver