/* SPDX-License-Identifier: BSD-3-Clause */

#include <arch/exception.h>
#include <console/console.h>

void exception_init(void)
{
	printk(BIOS_DEBUG, "Exception handlers not installed.\n");
}