#include <string.h>
+
+#ifdef KERNEL
+#define NDEBUG
+#endif
#include <debug.h>
/* Copies SIZE bytes from SRC to DST, which must not overlap.
{
size_t dst_len = size - 1;
if (src_len < dst_len)
- src_len = dst_len;
+ dst_len = src_len;
memcpy (dst, src, dst_len);
dst[dst_len] = '\0';
}