Searching in linux/microblaze