diff --git a/projects/RPi/devices/RPi/linux/linux.arm.conf b/projects/RPi/devices/RPi/linux/linux.arm.conf index 1f19cf91dd..8b29a32428 100644 --- a/projects/RPi/devices/RPi/linux/linux.arm.conf +++ b/projects/RPi/devices/RPi/linux/linux.arm.conf @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/arm 5.2.0-rc7 Kernel Configuration +# Linux/arm 5.2.1 Kernel Configuration # # @@ -50,8 +50,10 @@ CONFIG_HAVE_ARCH_AUDITSYSCALL=y CONFIG_GENERIC_IRQ_PROBE=y CONFIG_GENERIC_IRQ_SHOW=y CONFIG_GENERIC_IRQ_SHOW_LEVEL=y +CONFIG_GENERIC_IRQ_EFFECTIVE_AFF_MASK=y CONFIG_HARDIRQS_SW_RESEND=y CONFIG_IRQ_DOMAIN=y +CONFIG_IRQ_DOMAIN_HIERARCHY=y CONFIG_HANDLE_DOMAIN_IRQ=y CONFIG_IRQ_FORCED_THREADING=y CONFIG_SPARSE_IRQ=y @@ -1873,6 +1875,7 @@ CONFIG_BCM_VCIO=y CONFIG_BCM_VC_SM=y CONFIG_BCM2835_DEVGPIOMEM=m CONFIG_BCM2835_SMI_DEV=m +# CONFIG_ARGON_MEM is not set CONFIG_TTY=y CONFIG_VT=y CONFIG_CONSOLE_TRANSLATIONS=y @@ -1946,6 +1949,7 @@ CONFIG_SERIAL_DEV_BUS=m CONFIG_HW_RANDOM=y # CONFIG_HW_RANDOM_TIMERIOMEM is not set CONFIG_HW_RANDOM_BCM2835=y +CONFIG_HW_RANDOM_IPROC_RNG200=y # CONFIG_RAW_DRIVER is not set # CONFIG_TCG_TPM is not set # CONFIG_XILLYBUS is not set @@ -2379,6 +2383,7 @@ CONFIG_THERMAL_GOV_STEP_WISE=y # Broadcom thermal drivers # CONFIG_BCM2835_THERMAL=y +# CONFIG_BRCMSTB_THERMAL is not set # end of Broadcom thermal drivers CONFIG_WATCHDOG=y @@ -4264,6 +4269,7 @@ CONFIG_PWM_BCM2835=m # IRQ chip support # CONFIG_IRQCHIP=y +CONFIG_ARM_GIC=y CONFIG_ARM_GIC_MAX_NR=1 # end of IRQ chip support diff --git a/projects/RPi/devices/RPi2/linux/linux.arm.conf b/projects/RPi/devices/RPi2/linux/linux.arm.conf index 8a1d259751..32b1e43c87 100644 --- a/projects/RPi/devices/RPi2/linux/linux.arm.conf +++ b/projects/RPi/devices/RPi2/linux/linux.arm.conf @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/arm 5.2.0-rc7 Kernel Configuration +# Linux/arm 5.2.1 Kernel Configuration # # @@ -49,8 +49,10 @@ CONFIG_HAVE_ARCH_AUDITSYSCALL=y CONFIG_GENERIC_IRQ_PROBE=y CONFIG_GENERIC_IRQ_SHOW=y CONFIG_GENERIC_IRQ_SHOW_LEVEL=y +CONFIG_GENERIC_IRQ_EFFECTIVE_AFF_MASK=y CONFIG_HARDIRQS_SW_RESEND=y CONFIG_IRQ_DOMAIN=y +CONFIG_IRQ_DOMAIN_HIERARCHY=y CONFIG_HANDLE_DOMAIN_IRQ=y CONFIG_IRQ_FORCED_THREADING=y CONFIG_SPARSE_IRQ=y @@ -1988,6 +1990,7 @@ CONFIG_BCM_VCIO=y CONFIG_BCM_VC_SM=y CONFIG_BCM2835_DEVGPIOMEM=m CONFIG_BCM2835_SMI_DEV=m +# CONFIG_ARGON_MEM is not set CONFIG_TTY=y CONFIG_VT=y CONFIG_CONSOLE_TRANSLATIONS=y @@ -2061,6 +2064,7 @@ CONFIG_SERIAL_DEV_BUS=m CONFIG_HW_RANDOM=y # CONFIG_HW_RANDOM_TIMERIOMEM is not set CONFIG_HW_RANDOM_BCM2835=y +CONFIG_HW_RANDOM_IPROC_RNG200=y # CONFIG_RAW_DRIVER is not set # CONFIG_TCG_TPM is not set # CONFIG_XILLYBUS is not set @@ -2499,6 +2503,7 @@ CONFIG_THERMAL_GOV_STEP_WISE=y # Broadcom thermal drivers # CONFIG_BCM2835_THERMAL=y +# CONFIG_BRCMSTB_THERMAL is not set # end of Broadcom thermal drivers CONFIG_WATCHDOG=y @@ -4390,6 +4395,7 @@ CONFIG_PWM_BCM2835=m # IRQ chip support # CONFIG_IRQCHIP=y +CONFIG_ARM_GIC=y CONFIG_ARM_GIC_MAX_NR=1 # end of IRQ chip support