1// SPDX-License-Identifier: GPL-3.0-only 2//! System clock, timer, and uptime state placeholder for [`KState`]. 3//! 4//! Authors: MarioS271 5 6/// Holds the system clock source, active timer list, and kernel uptime counter. 7pub struct Time { 8 9}