/*
* Copyright (c) 2018, ARM Limited and Contributors. All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*/
#include <string.h>
size_t strlen(const char *s)
{
const char *cursor = s;
while (*cursor)
cursor++;
return cursor - s;
}