#!/bin/sh
find /boot/develop/headers -type f -print0 | xargs -0 egrep "$@"
