/* SPDX-License-Identifier: GPL-2.0-only */

#include <soc/gpio.h>
#include <console/console.h>
#include <delay.h>
#include "mainboard.h"

void die_notify(void)
{
	const u32 rate = 1000 / 10; // blink at 5 Hz

	do {
		gpio_output(ELGON_GPIO_ERROR_LED, 0);
		mdelay(rate);
		gpio_output(ELGON_GPIO_ERROR_LED, 1);
		mdelay(rate);
	} while (1);
}