Skip to content

x86-64 kernel leaves are global under a declared CR4.PGE, and only a kernel-half change drops them - #873

Merged
Japabu merged 5 commits into
mainfrom
wt/toyos-pge
Oct 12, 2026
Merged

x86-64 kernel leaves are global under a declared CR4.PGE, and only a kernel-half change drops them#873
Japabu merged 5 commits into
mainfrom
wt/toyos-pge

Under PCID a global discharge is INVPCID type 2, Intel's own workarou…

806130c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar