Dear Norman and all Genodians,I want to obtain real-world date and time in Genode (base-foc), so would you like to tell me how to achieve it. Rtc is too slow, and Rdtsc can't obtain real time.