Searching in linux-user/microblaze