Joseph Koshy 44981116e3 Change the default kernel name assumed by this port from "/vmunix" to ... "/kernel". Reported by: Marc Emmelmann <emmelmann@fokus.gmd.de>		2000-11-02 11:53:27 +00:00
..
files
distinfo
Makefile
pkg-comment
pkg-descr
pkg-plist