7 /* Temporary libc functions, which can later be
8 * replaced by a *real* library */
10 char hexbuf[8] = {'0', '0','0', '0','0', '0','0', '0'};
12 void addrtohex(uint32_t addr) {
13 char tmpbuf[6] = {'A', 'B', 'C', 'D', 'E', 'F'};
14 memset(&hexbuf, 0, sizeof(uint32_t) * 8);
16 for (int i = 0; i < 8 ; i++) {
20 if ((tmp >= 0) && tmp < 10) {
21 hexbuf[i] = (char) tmp + 48;
24 hexbuf[i] = tmpbuf[tmp - 10];
28 uart_puts("ADDRESS: 0x");
29 for (int i = 7; i >= 0; i--) {