CONFIG_PPC64 is not available for thedefaultarchitecture x86.
Result is shown for architecture powerpc
64-bit kernel
modulename: setup_64.ko
and/orvdso64_wrapper.ko
and/orhead_64.ko
and/ordma-iommu.ko
configname: CONFIG_PPC64
Linux Kernel Configuration
└─>64-bit kernel
In linux kernel since version 2.6.15 (release Date: 2006-01-02)
This option selects whether a 32-bit or a 64-bit kernel
will be built.
will be built.
source code:
is selected by
CONFIG_CRYPTO_CRC32C_VPMSUMCONFIG_CRYPTO_CRCT10DIF_VPMSUM
CONFIG_CRYPTO_AES_GCM_P10
CONFIG_CRYPTO_CHACHA20_P10
CONFIG_CRYPTO_POLY1305_P10
CONFIG_E6500_CPU
CONFIG_ALTIVEC
CONFIG_PPC_OF_BOOT_TRAMPOLINE
CONFIG_PPC_PSERIES
CONFIG_PPC_POWERNV
CONFIG_PPC_PS3
CONFIG_PPC_PASEMI
CONFIG_PPC_PMAC64
CONFIG_PPC_IBM_CELL_BLADE
CONFIG_PPC_MAPLE
CONFIG_HSA_AMD
CONFIG_DEBUG_FORCE_FUNCTION_ALIGN_64B