#include #include #define TRACE (*(unsigned char *)0x40000000) void print(char *msg) { int i = 0; while(msg[i] != '\0') { TRACE = msg[i]; i++; } } int _write(int file, const char *ptr, int len) { int x; for (x = 0; x < len; x++) { TRACE = *ptr++; } return (len); } int func1(int a, int* b) { return a - (*b); } int main(void) { printf("Using printf!\n"); print("Using custom print!\n"); asm volatile ("ecall"); return 0; }