ref: cc3c4401a74588c302c55ba7acb19cd773fdf775
dir: /libkern/strcpy.c/
#include <u.h>
#include "kern.h"
#define N 10000
char*
strcpy(char *s1, char *s2)
{
char *os1;
os1 = s1;
while(!memccpy(s1, s2, 0, N)) {
s1 += N;
s2 += N;
}
return os1;
}