Foxy-Boxes

I have identified __mcheck_cpu_cap_init writes a kernel variable so that the capacity check is actually done with the initial value of the msr: MCG_CAP thus we need to change the...

I have not changed switching behavior and this is still a bug in the simulator, I am using a workaround to avoid this situation. If I had time I would...