Le pilote du lecteure de disquette pèse 40K ?

[Hibou57]

J'évalue l'incidence de certaines options sur le poid du noyau, et un belle (mauvaise) surprise apparaît : le pilote du lecteure de disquette pèse plus de 40K. C'est bien simple, c'est le pilote le plus lourd de mon noyau... et de loin, car la plupart des pilotes pèsent 4 à 5 fois moins.

Est-ce vraiment normal ? Je m'attendais à un tout petit pilote tout léger, alors je tombe à moitié à coté de ma chaise.

Ca s'explique comment ce poid énorme pour un pilote de ce genre ?