Julia Vassiliki c4b44a24b4 arm64: print debug info for invalid vector entry ... Previously, this would just print a 'halting via unknown' in debug mode when an SError occurred and SError ignore was not turned on. This changes the trap code so that we print out the known cause of the trap. KERNEL INVALID VECTOR ENTRY! Vector: 0x580 (SError 64-bit EL0/EL1) Fault attributed to program counter: 0x221dc0 ESR: 0xbf000000 FAR: 0x2881c98000824100 halting... Kernel entry via Unknown (0) This was encountered after some rust-seL4 changes to the initialiser for Microkit related to untyped mappings broke boot: https://github.com/seL4/microkit/issues/541 Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>		2026-07-07 08:44:53 +01:00
..
arch	arm64: print debug info for invalid vector entry	2026-07-07 08:44:53 +01:00
armv	arm,riscv: eliminate idle_thread function prologue	2025-08-19 09:06:24 +01:00