x86: disable usermode on 64-bit unless no meltdown

KPTI is still work-in-progress on x86_64. Don't allow
user mode to be enabled unless the SOC/board configuration
indicates that the CPU in use is invulnerable to meltdown
attacks.

Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
This commit is contained in:
Andrew Boie 2020-01-05 17:19:43 -08:00 committed by Anas Nashif
commit 808cca0efb
2 changed files with 4 additions and 3 deletions

View file

@ -11,4 +11,5 @@ config BOARD_QEMU_X86_64
bool "QEMU x86_64"
depends on SOC_IA32
select QEMU_TARGET
select X86_NO_MELTDOWN # Until KPTI is enabled, allow testing
select X86_64