# Since no kernel is currently provided in Debian, provide userdevfs so
# a locally provided monlothic kernel without devfs/udev will work.
userdevfs

# The ADS kernels don't use udev yet, and won't have important devices if
# udev is included.
udev-udeb -

# pcmcia is on most of these boards, although it's more commonly used for
# compact flash reading / bootloader stuff than for networking
pcmciautils-udeb
