Searching in bl31/bin/txl