On 09/12/2017 01:14 PM, Peter Maydell wrote: > If AIRCR.BFHFNMINS is clear, then although NonSecure HardFault > can still be pended via SHCSR.HARDFAULTPENDED it mustn't actually > preempt execution. The simple way to achieve this is to clear the > enable bit for it, since the enable bit isn't guest visible. > > Signed-off-by: Peter Maydell <[email protected]> > --- > hw/intc/armv7m_nvic.c | 12 ++++++++++-- > 1 file changed, 10 insertions(+), 2 deletions(-)
Reviewed-by: Richard Henderson <[email protected]> r~
