48c48
< const char *modestr[] = { "kernel", "user", "idle", "interrupt" };
---
> const char *modestr[] = { "kernel", "user", "idle" };
54d53
< bin_int = system->params()->bin_int;
189c188
< assert(themode == kernel || themode == interrupt);
---
> assert(themode == kernel);
209,210d207
< tc->getSystemPtr()->kernelBinning->changeMode(newmode);
<
236,237c233
< if ((newmode == kernel || newmode == interrupt) &&
< pcbb == idleProcess)
---
> if (newmode == kernel && pcbb == idleProcess)
240,242d235
< if (bin_int == false && newmode == interrupt)
< newmode = kernel;
<
271,275d263
<
< case PAL::swpctx:
< if (tc->getSystemPtr()->kernelBinning)
< tc->getSystemPtr()->kernelBinning->palSwapContext(tc);
< break;