Yousong Zhou 0aedf5cfcb armvirt: 32: refresh kernel config
The diff was genereated by running the following command without
actually changing any kernel config options

	make kernel_menuconfig CONFIG_TARGET=subtarget

Here are some initial findings on the change

 - CONFIG_ARCH_OPTIONAL_KERNEL_RWX is now arch default
 - CONFIG_ARM_GIC_V3_ITS is selected by CONFIG_ARCH_VIRT
 - CONFIG_CPU_SPECTRE is select by CONFIG_CPU_V7
 - CONFIG_TIMER_OF is now a arch default
 - CONFIG_TIMER_PROBE is select by CONFIG_TIMER_OF

The following options should probably be moved to generic config

 - CONFIG_MIGRATION is a default on option
 - CONFIG_TREE_SRCU is a default on option for !PREEMPT && SMP system
 - CONFIG_RCU_NEED_SEGCBLIST

Signed-off-by: Yousong Zhou <yszhou4tech@gmail.com>
2019-02-19 13:13:48 +00:00
..
2019-01-28 18:17:32 +01:00
2019-01-28 18:17:32 +01:00
2019-02-14 16:45:01 +01:00
2019-01-28 18:17:32 +01:00
2019-01-27 00:16:13 +01:00
2018-11-05 16:00:00 +01:00
2019-01-28 18:17:32 +01:00
2019-02-14 16:45:01 +01:00
2019-02-14 16:45:01 +01:00
2019-02-14 16:45:01 +01:00
2019-01-28 18:17:32 +01:00
2019-02-15 21:53:27 +01:00
2019-01-13 16:31:40 +01:00
2018-08-20 13:03:23 +02:00
2019-02-14 16:45:01 +01:00
2019-02-14 16:56:15 +01:00
2019-02-08 17:27:47 +01:00
2019-01-12 19:40:13 +01:00
2018-10-09 14:29:55 +02:00
2018-10-19 10:01:57 +02:00
2019-01-07 17:09:06 +01:00
2018-12-10 11:48:44 +01:00
2019-02-17 19:22:39 +01:00
2018-08-20 13:03:23 +02:00
2018-12-26 17:32:48 +01:00