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

#include <console/console.h>
#include <delay.h>
#include <gpio.h>

void die_notify(void)
{
	if (ENV_POSTCAR) {
		return;
	}

	/* Make SATA LED blink */
	while (1) {
		gpio_set(GPP_E8, 1);
		mdelay(100);
		gpio_set(GPP_E8, 0);
		mdelay(100);
	}
}