Loading files
#include "../lib.c"
int main(void){
volatile int* timer = (int*)0x40000000;
int x, y;
x = *timer;
*timer = 0;
rsd_mfence();
y = *timer;
volatile char* outputAddr = (char*)0x40002000;
*outputAddr = 'O';
*outputAddr = 'k';
*outputAddr = '\n';
return 0;
}
d15e59f58This file is pinned to the selected release. Download the original to open it in your design tool.