diff --git a/kernel/src/arch/Timer.cpp b/kernel/src/arch/Timer.cpp index 7f29500b..58ce56c7 100644 --- a/kernel/src/arch/Timer.cpp +++ b/kernel/src/arch/Timer.cpp @@ -2,7 +2,6 @@ #include "Log.h" #include "arch/Serial.h" #include "boot/bootboot.h" -#include static u64 timer_ticks = 0; static u64 boot_timestamp; @@ -47,7 +46,7 @@ static u64 bootloader_time_to_unix(const u8 boottime[8]) const int second = bcd_number_to_decimal(boottime[6]); // "The last byte can store 1/100th second precision, but in lack of support on most platforms, it is 0x00". // Therefore, let's not rely on it. - kinfoln("Current time: %.2d/%.2d/%d %.2d:%.2d:%.2d UTC", day, month, year, hour, minute, second).release_value(); + kinfoln("Current time: %.2d/%.2d/%d %.2d:%.2d:%.2d UTC", day, month, year, hour, minute, second); return broken_down_to_unix(year - 1900, make_yday(year, month) + (day - 1), hour, minute, second); }