1 // SPDX-License-Identifier: GPL-2.0 2 #ifdef CONFIG_MMU 3 #include "setup_mm.c" 4 #else 5 #include "setup_no.c" 6 #endif 7