David Brownlee wrote:

> 	I do not thinkg this should in in  package - I think its
> 	genunitely useful enough to warrent being in the main tree.
> 	Does anyone _not_ think we should have such a tool shipped by
> 	default?
> 
> 	If people decide now, and Brett is willing it could make 1.5, and
> 	possibly even 1.4.3... :)

If the UserKernelConfig (PR10057) facility is added to config (patching
kernel locators), then this facility would be useful as an option to
config.

	-- Gregory McGarry <g.mcgarry@ieee.org>