Also, as GNU Mach does not support loadable kernel modules, many of the drivers are compiled into the default kernel.
Aussi, comme GNU Mach ne gère pas les modules chargeables du noyau, de nombreux pilotes sont compilés dans le noyau par défaut.