#include "arch.h"
/*
 * 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;
}

#ifdef ARCH_STM32L4

void memcpy(void* dest, void* src, size_t size)
{
  uint8_t* dest_ = dest;
  uint8_t* src_ = src;

  while(size --) {
    *(dest_++) = *(src_++);
  }
}

#endif