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(const uint32_t addr) {
13 char tmpbuf[6] = {'A', 'B', 'C', 'D', 'E', 'F'};
14 memset(&hexbuf, 0, sizeof(uint32_t) * 8);
17 for (int i = 0; i < 8 ; i++) {
21 if ((tmp >= 0) && tmp < 10) {
22 hexbuf[i] = (char) tmp + 48;
25 hexbuf[i] = tmpbuf[tmp - 10];
29 uart_puts("ADDRESS: 0x");
30 for (int i = 7; i >= 0; i--) {
37 void *malloc(size_t size) {
43 void free(void * ptr) {