# CONFIG_XENFS is not set
