#include <stdint.h>

#include "microwatt_util.h"

#define EXT_BUS_OFFSET 0x40000000

int main(void)
{
	uint64_t *p = (uint64_t *)EXT_BUS_OFFSET;

	microwatt_alive();

	__asm__ __volatile__("");
	*p = 0x5A5A5A5A5A5A5A5A;
	__asm__ __volatile__("");
	*p = 0x0f0f0f0f0f0f0f0f;
	__asm__ __volatile__("");
	*p = 0xACEACEACEACEACEA;
	__asm__ __volatile__("");

	microwatt_success();

	while (1)
		/* Do Nothing */ ;
}