From 0a2e1f076786ff59bcc1fb6fdb066c0db2a5d77f Mon Sep 17 00:00:00 2001 From: Anton Kling Date: Mon, 9 Dec 2024 23:27:58 +0100 Subject: timer: Use strings instead of direct int64_t to communicate with userland This makes it easier to write and read from /dev/clock using shell scripts. The actual performance decrease will be minimal and the interface is not that perfect for proper time keeping anyways. --- kernel/drivers/cmos.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kernel/drivers') diff --git a/kernel/drivers/cmos.c b/kernel/drivers/cmos.c index bdb13cc..4223093 100644 --- a/kernel/drivers/cmos.c +++ b/kernel/drivers/cmos.c @@ -185,7 +185,7 @@ static i64 cmos_get_time(void) { } static void cmos_set_time(i64 time) { - assert(time > 0); // TODO: Add support for time travelers + assert(time >= 0); // TODO: Add support for time travelers u8 reg_b = cmos_get_register(0x0B); u8 seconds = 0; -- cgit v1.2.3