ports/cheriot-rtos/hal: Created timer.h header file.

Signed-off-by: Jacob Trevor <[email protected]>

Author: JakeTrevor

ports/cheriot-rtos/hal/timer.cpp

@@ -1,6 +1,15 @@
 #include <platform-timer.hh>
 
-uint64_t get_time() {
+extern "C" uint64_t get_time() {
     StandardClint::init();
     return StandardClint::time();
 }
+
+// extern "C" void set_next(uint64_t next_time) {
+//     StandardClint::init();
+//     StandardClint::setnext(next_time);
+// }
+
+// extern "C" void clear() {
+//     StandardClient::clear();
+// }

ports/cheriot-rtos/hal/timer.h

@@ -0,0 +1,6 @@
+#include "py/obj.h"
+
+#define CLOCK_FREQ_KHZ (50000)
+#define MS_TO_CLOCK_CYCLES(x) (x * CLOCK_FREQ_KHZ) // clock 50mHz
+
+extern "C" uint64_t get_time();

ports/cheriot-rtos/hal/uart.cpp

@@ -1,9 +1,6 @@
 #include <platform-uart.hh>
 
-extern uint64_t get_time();
-
-#define CLOCK_FREQ_KHZ (50000)
-#define MS_TO_CLOCK_CYCLES(x) (x * CLOCK_FREQ_KHZ) // clock 50mHz
+#include "timer.h"
 
 extern "C" uint8_t uart_get_rx_level(volatile OpenTitanUart<115'200> *block) {
     return (block->fifoStatus >> 16) & 0xff;