minix3/drivers/storage/floppy/floppy.o