|
#include "tb_cxxrtl_io.h"
|
|
__attribute__((optimize("O0"))) int main() {
|
|
// tb_puts("Hello world from Hazard3 + CXXRTL!\n");
|
|
uint32_t addr = 0x40008000;
|
|
uint32_t *point = (uint32_t *)addr;
|
|
*point = 'C';
|
|
*point = 'O';
|
|
*point = 'L';
|
|
*point = 'I';
|
|
*point = 'N';
|
|
return 123;
|
|
}
|