HI all, I am facing some issue with on MPC8548E platform and I am seeing a machine check interrupt while a soft reset is done. Can someone help in letting me know how to dump the internal core regs like MSR, MCAR, etc under freebsd. I want to know the status of the core registers when this happens. -- Thanks Sandeep