floppy must be able to allocate a bit more for nonpaged mode.

diff --git a/drivers/floppy/Makefile b/drivers/floppy/Makefile
index 478dde0ded7e5121c808142dcffdfec40d13fe1b..07dcf18fd42d8045ab5eb11b6e219a963276345f 100644 (file)
--- a/drivers/floppy/Makefile
+++ b/drivers/floppy/Makefile
@@ -22,7 +22,7 @@ OBJ = floppy.o
 all build:     $(DRIVER)
 $(DRIVER):     $(OBJ)
        $(CC) -o $@ $(LDFLAGS) $(OBJ) $(LIBS)
-       install -S 8k $(DRIVER)
+       install -S 16k $(DRIVER)
 
 # install with other drivers
 install:       /sbin/$(DRIVER)