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