/*
 * 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;
}