# To boot Linux distributions like Debian
CONFIG_DEVTMPFS=y