Searching in platforms/cheri