Where is Device File System in menuconfig?
Hi. I'm trying to install Gentoo Linux, and in the directions it says, "Under the 'File Systems' section [of menuconfig], be sure to enable the 'Device File System'." I've looked in the File Systems section and every other section of menuconfig and config, and I can't find anything called Device File System or devfs. Can someone please tell me specifically where it is? Or is it actually called something else? Thanks in advance for any help.