| /* | |
| * Copyright © 2025 Keith Packard <keithp@keithp.com> | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| #include <zephyr/kernel.h> | |
| #include <zephyr/toolchain.h> | |
| /* Validate various C library implementation characteristics */ | |
| #ifndef CONFIG_LIBC_ALLOW_LESS_THAN_64BIT_TIME | |
| #include <time.h> | |
| /* | |
| * Ensure that time_t can hold at least 64 bit values. | |
| */ | |
| BUILD_ASSERT(sizeof(time_t) >= 8, "time_t cannot hold 64-bit values"); | |
| #endif |