diff options
| author | Yousong Zhou <yszhou4tech@gmail.com> | 2019-02-16 10:36:07 +0000 |
|---|---|---|
| committer | Yousong Zhou <yszhou4tech@gmail.com> | 2019-02-19 13:13:48 +0000 |
| commit | 0aedf5cfcb0b52ccfb2caae7dce9bc5bb4efc46e (patch) | |
| tree | 8c141be2574c6aaba8571dd83fc73fed3c63946c /BSDmakefile | |
| parent | ec2a2a2aea1ada65f050d74a064e74466bbe4e8d (diff) | |
| download | upstream-0aedf5cfcb0b52ccfb2caae7dce9bc5bb4efc46e.tar.gz upstream-0aedf5cfcb0b52ccfb2caae7dce9bc5bb4efc46e.tar.bz2 upstream-0aedf5cfcb0b52ccfb2caae7dce9bc5bb4efc46e.zip | |
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>
Diffstat (limited to 'BSDmakefile')
0 files changed, 0 insertions, 0 deletions