/source/hal/platform/simple/include/
../
platform_drivers.h
stubs
timer_simple_platform.h