taglinefilesource code
set_floppy1855drivers/block/floppy.cset_floppy(device);
set_floppy2417drivers/block/floppy.cset_floppy(device);
set_floppy2739drivers/block/floppy.cset_floppy(device);