1 CONFIG_PPC64=y 2 CONFIG_PPC_PSERIES=y 3 CONFIG_ALTIVEC=y 4 CONFIG_VSX=y 5 CONFIG_PPC_OF_BOOT_TRAMPOLINE=y 6 CONFIG_PPC_RADIX_MMU=y 7 CONFIG_HVC_CONSOLE=y 8 CONFIG_CPU_LITTLE_ENDIAN=y 9 CONFIG_CMDLINE_BOOL=y 10 CONFIG_CMDLINE="console=hvc0 wg.success=hvc1 panic_on_warn=1" 11 CONFIG_SECTION_MISMATCH_WARN_ONLY=y 12 CONFIG_FRAME_WARN=1280 13 CONFIG_THREAD_SHIFT=14
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.