isn't there a bootedkernel sysctl that ps can use to figure that out? Any reason why ps isn't using it? this doesn't work always. eg, i boot netbsd.test -s, and then in single user mode, i rename it /netbsd ... the Right Solution to this is /dev/ksyms, which i believe is already incoming from ragge...