CONFIG_PPC64 is not available for thedefaultarchitecture x86.
Result is shown for architecture powerpc
64-bit kernel
modulename: setup_64.ko
and/orchecksum_64.ko
and/ornvram.ko
and/ormisc_64.ko
and/ormmap_64.ko
and/ordma-iommu.ko
and/orinit_64.ko
and/orcopypage_64.ko
and/orsetup-bus.ko
configname: CONFIG_PPC64
Linux/PowerPC 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.