64-bit kernel
modulename: binfmt_elf32.ko
and/orperf.ko
and/orpgtable-64.ko
and/orscall64-64.ko
and/orcpu-bugs64.ko
and/orprctl.ko
configname: CONFIG_64BIT
Linux Kernel Configuration
└─>64-bit kernel
In linux kernel since version 2.6.12
Say yes to build a 64-bit kernel - formerly known as x86_64
Say no to build a 32-bit kernel - formerly known as i386
Say no to build a 32-bit kernel - formerly known as i386