CONFIG_ARCH_INTEL_SOCFPGA is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Altera SOCFPGA family
configname: CONFIG_ARCH_INTEL_SOCFPGA
Linux Kernel Configuration
└─>Altera SOCFPGA family
In linux kernel since version 4.14.326 (release Date: 2023-09-23)
selects
CONFIG_ARCH_HAS_RESET_CONTROLLERCONFIG_ARM_AMBA
CONFIG_ARM_GIC
CONFIG_CACHE_L2X0
CONFIG_DW_APB_TIMER_OF
CONFIG_GPIO_PL061
CONFIG_HAVE_ARM_SCU
CONFIG_HAVE_ARM_TWD
CONFIG_MFD_SYSCON
CONFIG_ARM_ERRATA_754322
CONFIG_ARM_ERRATA_764369
CONFIG_ARM_ERRATA_775420
CONFIG_PL310_ERRATA_588369
CONFIG_PL310_ERRATA_727915
CONFIG_PL310_ERRATA_753970
CONFIG_PL310_ERRATA_769419
CONFIG_RESET_CONTROLLER