/* ======================================== Copyright (C) 2025, Amlal El Mahrouss, licensed under the Apache 2.0 license. ======================================== */ #include using namespace Kernel; /// =========================================================== /// /// @brief C Standard Library overrides. /// /// =========================================================== /// EXTERN_C void* memset(void* dst, int c, long long unsigned int len) { return Kernel::rt_set_memory_safe(dst, c, static_cast(len), static_cast(len)); } EXTERN_C void* memcpy(void* dst, const void* src, long long unsigned int len) { Kernel::rt_copy_memory_safe(const_cast(src), dst, static_cast(len), static_cast(len)); return dst; } EXTERN_C Int32 strcmp(const char* a, const char* b) { return Kernel::rt_string_cmp(a, b, rt_string_len(a)); }