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
..
patch-aa
patch-ab
patch-ac
patch-ad
patch-ae
patch-af
patch-ag	Change the default kernel name assumed by this port from "/vmunix" to	2000-11-02 11:53:27 +00:00