Files
edgetx-gx12/radio/src/thirdparty/CoOS/kernel
..