The Debian and RedHat distributions have identical boot procedures, so also have identical procedures for configuring modules into them. ###>La distribution Debian et la Redhat ont des procédures de boot identiques, et ont aussi des procédures identiques pour configurer les modules inclus.