/source/hal/platform/mps3/cmake/subsystem-profiles/