search

project-oak / oak

Meaningful control of data in distributed systems.
Apache License 2.0
1.3k stars 112 forks source link

Ensure CPUID triggered the #VC exception #4974

Closed conradgrobler closed 6 months ago

conradgrobler commented 6 months ago

We want to make sure that the instruction pointer in a #VC exception really pointed to a CPUID instruction since it is the only #VC exception type we support.

This is the equivalent of #4921 but for the restricted kernel.

Thanks to @benschlueter for highlighting the issue and suggesting a fix.