On Thu, 25 Apr 2013, Steve O'Hara-Smith wrote: > > The problem under discussion is that the kernel version does not > change when a freebsd-update update does not include a kernel change. > Perhaps we could adopt the Linux practice of placing the release information in /etc/issue Daniel Feenberg