src/kern/stdlibrepl.c


1
2
3
4
5
6
7
8
9
10
11
12
13

/*
 * Replacement for common stdlib functions that don't exist
 * on the ARM bare-metal compilation environment.
 */

#include <stddef.h>

size_t strlen(char* ch)
{
  size_t ret = 0;
  while(*(ch ++) != 0) ++ ret;
  return ret;
}