winocm/xnu — pull request #12 by b-man (2013-11-06 22:10:52+00:00)
Title: Use external kextsymboltool if building on Linux

* When building on Linux hosts, use external kextsymboltool provided by xnu-deps-linux.