1 CONFIG_PPC_86xx=y 2 CONFIG_GEF_PPC9A=y 3 CONFIG_GEF_SBC310=y 4 CONFIG_GEF_SBC610=y 5 CONFIG_MVME7100=y 6 CONFIG_HIGHMEM=y 7 CONFIG_KEXEC=y 8 CONFIG_PROC_KCORE=y
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.