Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
mpk: temporarily disable to avoid CI failures (#7446)
GitHub CI runners are showing some strange behavior: on certain runners (unknown which ones), the CPUID bits claim that MPK is supported, but running any MPK code (e.g., `RDPKRU`) causes a `SIGILL` crash. This change disables MPK until #7445 is resolved.
- Loading branch information