topic Re: how to tell which file is the kernel that is running in Operating System - HP-UX

how to tell which file is the kernel that is running

curt larson_1 — Mon, 09 Jun 2003 16:55:47 GMT

how can I find out what is the file name of the current running kernel, ie vmunix or vmunix.prev or ??

Re: how to tell which file is the kernel that is running

Paul Sperry — Mon, 09 Jun 2003 16:57:31 GMT

the default is vmunix

Re: how to tell which file is the kernel that is running

Paul Sperry — Mon, 09 Jun 2003 16:57:52 GMT

the default is vmunix

Re: how to tell which file is the kernel that is running

Jeff Schussele — Mon, 09 Jun 2003 17:08:09 GMT

Hi curt,

Not 100% positive, but I believe if you look at the VERY top of the current /var/adm/syslog/syslog.log file, all the device discovery entries should be prefaced by date, time, hostname & then *kernel* name.
It's been forever since I booted an alternate kernel. But a quick test on a sandbox system ought to prove/disprove it.

HTH,
Jeff

Re: how to tell which file is the kernel that is running

curt larson_1 — Mon, 09 Jun 2003 17:33:31 GMT

yes i know the default is vmunix and the default backup kernel is vmunix.prev and the kernel has to be in the first file system of the boot disk and lifcp rDiskDevFile:AUTO - will give me the autoboot string.

But if you weren't there when the system booted, how do you know what the file name is for the kernel that is currently running?

Re: how to tell which file is the kernel that is running

curt larson_1 — Mon, 09 Jun 2003 17:38:38 GMT

Jeff,

I'm using a workstation on 11.0 and it is booted from the default kernel (/stand/vmunix). But, syslog doesn't contain anything about the file name of the kernel that is running. unless nothing is written to the log file if the default file name is used for the kernel.

Re: how to tell which file is the kernel that is running

John Poff — Mon, 09 Jun 2003 17:44:35 GMT

Hi,

I'm looking in syslog on one of our boxes and it looks like it wrote 'vmunix' when it started booting:

Jun 4 20:13:47 dd01 syslogd: restart
Jun 4 20:13:47 dd01 vmunix: gate64: sysvec_vaddr = 0xc0002000 for 2 pages
Jun 4 20:13:47 dd01 vmunix: NOTICE: autofs_link(): File system was registered at index 3.
Jun 4 20:13:47 dd01 vmunix: NOTICE: cachefs_link(): File system was registered at index 5.
Jun 4 20:13:47 dd01 vmunix: NOTICE: nfs3_link(): File system was registered at index 6.
Jun 4 20:13:47 dd01 vmunix: 0 sba
Jun 4 20:13:47 dd01 vmunix: 0/0 lba
Jun 4 20:13:47 dd01 vmunix: 0/0/0/0 btlan
[etc.]

JP

Re: how to tell which file is the kernel that is running

Jeff Schussele — Mon, 09 Jun 2003 17:47:05 GMT

Hi (again) curt,

Well it was worth a shot. I just tested that on a workstation by copying /stand/vmunix to /stand/vmunix.safe, rebooted interrupted the boot & entered @ the ISL> hpux /stand/vmunix.safe
Other than a message in syslog.log that I didn't have a DLKM.safe all the entries were STILL prefaced by vmunix:

I'm sure there's a way, I'll keep digging. I suspect that something ought to be able to tell you.

Rgds,
Jeff

Re: how to tell which file is the kernel that is running

Patrick Wallek — Mon, 09 Jun 2003 17:47:13 GMT

If you weren't there when the system was booted, and no one intereacted with the boot to force /stand/vmunix.prev, then the system booted with /stand/vmunix.

Re: how to tell which file is the kernel that is running

A. Clay Stephenson — Mon, 09 Jun 2003 18:02:43 GMT

Try this:

echo "boot_string/s" | adb -k /stand/vmunix /dev/kmem

/stand/vmunix should be in the output but if not, the kernel file, /stand/umunix does NOT match the core image, /dev/kmem so the command should be repeated replacing /stand/vmunix with another kernel file,usually /stand/vmunix.prev.

Re: how to tell which file is the kernel that is running

curt larson_1 — Mon, 09 Jun 2003 18:03:16 GMT

John,

vmunix in this situation, just means that the message was logged by the kernel. The message will contain vmunix no matter which file was booted from.

Re: how to tell which file is the kernel that is running

Caesar_3 — Mon, 09 Jun 2003 18:35:17 GMT

Hello!

You can check the dmesg to find out!

Caesar

Re: how to tell which file is the kernel that is running

curt larson_1 — Mon, 09 Jun 2003 18:47:07 GMT

as always, Mr. Stephenson has an answer that works.

situation is:

/stand/vm is a copy of /stand/vmunix. /stand/vmunix.prev is different from /stand/vmunix even though it is the same size.

boot with /stand/vm as the kernel, clay's solution
using adb -k /stand/vm /dev/kmem correctly reports /stand/vm as the bootfile.
using adb -k /stand/vmunix /dev/kmem also correctly reports /stand/vm as the bootfile.
and using adb - /stand/vmunix.prev /dev/kmem doesn't report anything as the boot string. ie bootstring:
with no value.

I'm going to hold off on awarding the big points in the hope there will be an alternative solution.

Because, the reason for wanting to know which file is the kernel is so I can use that file as an argument for the adb command. And, clay's solution is to test all the possible kernels till one works. This seems more of a brute force type of solution.

although in reality, it isn't all that bad. after all how often aren't you using vmunix or vmunix.prev. and only in that case would I need to test all the large (>6M) files in /stand, which shouldn't be all that many.

thanks clay

Re: how to tell which file is the kernel that is running

curt larson_1 — Mon, 09 Jun 2003 18:52:33 GMT

Caesar,

the kernel file name isn't reported within dmesg on my system.

Re: how to tell which file is the kernel that is running

A. Clay Stephenson — Mon, 09 Jun 2003 19:26:44 GMT

Any copy of /stand/vmunix will work BUT it's really /dev/kmem that has the actual data - and it's always correct. The file argument simply supplies adb with the correct data offset information so that adb knows where to look within /dev/kmem. If you get a valid boot string using any file then that's your boy because again, it's /dev/kmem that's really supplying the data.

Dmesg should never be relied upon because once it's circular buffer fills, it begins to overwrite itself.

Re: how to tell which file is the kernel that is running

Paul Sperry — Mon, 09 Jun 2003 19:49:26 GMT

NAME
kmpath - retrieve kernel name and associated kernel component set
information

SYNOPSIS
/usr/sbin/kmpath [-k]
/usr/sbin/kmpath -c [kernel_name]
/usr/sbin/kmpath -i [kernel_name]

DESCRIPTION
kmpath retrieves the main kernel file name and path information of the
currently running kernel. kmpath also retrieves the Kernel ID String
(KIS) and the associated /stand/dlkm.KIS directory of the current or
specified kernel.

Each kernel is composed of several distributed component files, the
kernel component set, which use a defined naming convention, and are
all required for a kernel to boot and run properly. During the
process of configuring a new kernel, a unique Kernel ID String (KIS)
is embedded into the kernel image. The main kernel file (by default
/stand/vmunix) is associated to its component files via the KIS. The
/stand/dlkm.KIS directory contains several of the kernel component set
files used by the DLKM infrastructure, including dynamically loadable
kernel module images.

If no options are specified, kmpath returns the full path of the main
kernel file of the currently running kernel, which constitutes the
boot kernel path of the currently booted kernel (for example,
/stand/vmunix).

Options
The kmpath options have the following meanings:

-k Return the base name of the main kernel file of the currently
running kernel (for example, vmunix).

-c [kernel_name]
Return the /stand/dlkm.KIS directory name. If kernel_name is not
specified, KIS corresponds to the currently running kernel's
Kernel ID String. If kernel_name is specified, KIS corresponds
to the specified kernel's KIS.

-i [kernel_name]
If a kernel_name is not specified, return the KIS of the
currently running kernel. If a kernel_name is specified, return
the KIS associated with the specified kernel.

FILES
/stand/kernel_name Main kernel file.

Hewlett-Packard Company - 1 - HP-UX 11i Version 1.6: Feb 2002

kmpath(1m) kmpath(1m)

/stand/dlkm.KIS Directory containing DLKM-related elements of
the kernel component set. (KIS is the Kernel
ID string in the corresponding kernel image).

/stand/krs/KIS.p0 Kernel-specific kernel registry file. Element
of the kernel component set that contains
kernel-specific configuration data persistent
across system reboot. (KIS is the Kernel ID
string in the corresponding kernel image).

/stand/boot.KIS Directory that contains links to the files in
the kernel component set that are required by
the boot loader during the process of booting a
kernel with Kernel ID String KIS.

Re: how to tell which file is the kernel that is running

Paul Sperry — Mon, 09 Jun 2003 19:50:51 GMT

# /usr/sbin/kmpath -k
vmunix

Re: how to tell which file is the kernel that is running

curt larson_1 — Mon, 09 Jun 2003 20:59:02 GMT

Paul,

your getting closer. but while kmpath exists on my 11.0 system, it doesn't return anything.

Re: how to tell which file is the kernel that is running

Bill Hassell — Tue, 10 Jun 2003 00:29:05 GMT

Try kmpath without the -k for 11.0 systems, ie, just kmpath.

Re: how to tell which file is the kernel that is running

curt larson_1 — Tue, 10 Jun 2003 01:59:52 GMT

Bill,

/usr/sbin/kmpath
/usr/sbin/kmpath -k
/usr/sbin/kmpath -c
all return the same thing, the shell prompt. on my system -i is an illegal option and there is no man page.