Subject: which kernel booted?
To: None <>
From: Darren Reed <>
List: tech-kern
Date: 01/02/2002 14:03:16
In some of the ports, there exists machdep.booted_kernel to tell you which
kernel was booted.  The problem is that this isn't always set or can just
be plain wrong as this can be changed by the loader.  Given this, I'd like
to pass the kernel image name being loaded to the kernel (sort of like how
programs get argv[0]) so that machdep.booted_kernel is always set and always
correct.  Can anyone see any problems with doing this, aside making the list
of boot params for the kernel 1 longer ?  Hmmm, should it be called
kern.booted_kernel (since it wouldn't be hardware dependant) instead ?