#include <kernel.h>

// AKI-H8/3069向け。
// SILを使うのが作法のようだが、ここでは直接叩く。

#define	P4DDR	((volatile uint8_t *)0x00fee003)
#define	P4DR	((volatile uint8_t *)0x00ffffd3)
#define	P4PCR	((volatile uint8_t *)0x00fee03e)

void	task(intptr_t exinf)
{
	*P4DDR = 0xc0;		// P46, P47 only
	*P4DR = 0xff;

	while (1) {
		dly_tsk(500);
		*P4DR ^= 0xff;
	}

	// never return

	return;
}