manual: document must have CPU features for x86#569
Conversation
|
I don't think it's necessary to give either the kernel reference nor the exact way to check this, just the list of necessary features. To make it easier you could probably specify the specific microarch (e.g. nehalam or zen2, I made those up) for is the minimum for which it works. |
|
The most user friendly way of listing the required features would be to list the matching /proc/cpuinfo flags. |
e26aa83 to
f73c1b2
Compare
I thought about this but most of the VT-x features doesn't correspond to a |
|
|
||
| The `x86_64_generic` platform's kernel configuration requires these features from your CPU: | ||
|
|
||
| | Name | /proc/cpuid flag | |
There was a problem hiding this comment.
/proc/cpuinfo? I'd also mention in the text (not the table) that you can check with e.g. cat /proc/cpuinfo | grep xsave; and just make the table header the "cpuinfo feature flag" or something
There was a problem hiding this comment.
/proc/cpuinfo?
Oops
|
|
||
| | Name | /proc/cpuid flag | | ||
| |----------------------------------|-------------------| | ||
| | Enable VMX outside SMX operation | (Checked via MSR) | |
There was a problem hiding this comment.
I would at least keep the name of the MSR or a reference to the Intel manual here so that people can check this, even if manually.
f73c1b2 to
d1dc2e8
Compare
d1dc2e8 to
98c7ecf
Compare
This is useful for users of Microkit to check that their environment support all the required features by the kernel. Rather than getting a nasty error at boot time. Signed-off-by: Bill Nguyen <bill.nguyen@unsw.edu.au>
98c7ecf to
ff8016f
Compare
This is useful for users of Microkit to check that their environment support all the required features by the kernel. Rather than getting a nasty error at boot time.
Closes #507.
One thing I'm a bit sketchy on is that the VT-x features table is not rendered very nicely in the PDF:

One thing I could do is that I could refactor the table to be grouped by MSR, but I don't know which is better,