43c43
< fatal("fault (%s) detected @ PC %p", name(), tc->readPC());
---
> panic("fault (%s) detected @ PC %p", name(), tc->readPC());