Bill Nguyen f82e8dc9da x86/vcpu: Allow CR0.PE and CR0.PG to be cleared ...

Allow CR0.PE and CR0.PG to be cleared if "Unrestricted Guest" mode is
supported by the host CPU. This mode allows guest software to run in
unpaged protected mode or in real-address mode. From [1] with Indan's
feedback applied.

[1] https://github.com/seL4/seL4/pull/1438

Signed-off-by: Bill Nguyen <bill.nguyen@unsw.edu.au>
Co-authored-by: Heyang Zhou <hello@su3.io>

2026-03-24 14:08:55 +11:00

..

arm

aarch64,fpu,hyp: do not trap CPACR_EL1 acceses

2026-03-10 12:19:42 +00:00

riscv/arch

bf structs: eliminate BF_CANONICAL_RANGE #ifdefs

2026-01-09 09:00:43 +11:00

x86/arch

x86/vcpu: Allow CR0.PE and CR0.PG to be cleared

2026-03-24 14:08:55 +11:00