Update x86 HAL for timestamp
@@ -543,7 +543,7 @@ void LuosHAL_Reboot(void)
******************************************************************************/
uint64_t LuosHAL_GetTimestamp(void)
{
- return 0;
+ return (LuosHAL_GetSystick() * 1000);
}
/******************************************************************************
