more debugging, and serial port

[rpikern] / src / libc / string.h

#ifndef LIBC_STRING_H_
#define LIBC_STRING_H_

void *memset(void *ptr, int val, int size);
void *memcpy(void *dest, void *src, int size);

#endif  /* LIBC_STRING_H_ */