text: #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 */ ;
  }
  