In the manual we should document what optional x86-64 CPU feature bits we assume are available. One concrete example right now is huge pages.
This would involve looking at where seL4 calls cpuid and checks for specific bits for our configuration of seL4 that we distribute and documenting them in the manual so users know what to expect.
In the manual we should document what optional x86-64 CPU feature bits we assume are available. One concrete example right now is huge pages.
This would involve looking at where seL4 calls
cpuidand checks for specific bits for our configuration of seL4 that we distribute and documenting them in the manual so users know what to expect.