OpenRTX/platform/mcu/x86_64/drivers
..
delays.c
gpio.c
rtc.c