OpenRTX/platform/targets/Module17
..
hwconfig.h
platform.c