239,241c239
< #else // !FULL_SYSTEM
< fatal("fault (%d) detected @ PC 0x%08p", fault, thread->readPC());
< #endif // FULL_SYSTEM
---
> #endif