On Thu, Feb 12, 2009 at 03:11:47PM -0500, Thor Simon wrote: > It seems to me that these days /dev/ksyms is more likely to be present > and working than /netbsd is to be a source of kernel symbols. > > I'd like to change savecore's default source of kernel symbols, for that > reason. Yes please! Andrew