Searching in src/tee/manager-config