1 /* SPDX-License-Identifier: BSD-3-Clause */ 2 3 #include <arch/exception.h> 4 #include <console/console.h> 5 exception_init(void)6 void exception_init(void) 7 { 8 printk(BIOS_DEBUG, "Exception handlers not installed.\n"); 9 } 10