#include <asm.h>

int main(void)
{
	while (1)
		WFI();
}