#include <stdint.h>

#include "microwatt_util.h"

#define SIMPLEBUS_CONFIG 0xc8000000
#define EXT_BUS_OFFSET 0x40000000

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

	microwatt_alive();

	// Enable simplebus
	*(uint32_t *)SIMPLEBUS_CONFIG = 0x8 | 0x1;
	__asm__ __volatile__("");

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

	if (*q == 0x0102030405060708)
		microwatt_success();
	else
		microwatt_failure();

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