1 /*
2  * Copyright © 2025 Keith Packard <keithp@keithp.com>
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #include <zephyr/kernel.h>
8 #include <zephyr/toolchain.h>
9 
10 /* Validate various C library implementation characteristics */
11 
12 #ifndef CONFIG_LIBC_ALLOW_LESS_THAN_64BIT_TIME
13 #include <time.h>
14 /*
15  * Ensure that time_t can hold at least 64 bit values.
16  */
17 BUILD_ASSERT(sizeof(time_t) >= 8, "time_t cannot hold 64-bit values");
18 #endif
19