>Number:         15850
>Category:       port-acorn32
>Synopsis:       machdep.booted_kernel on acorn32 is incorrect
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    port-acorn32-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Sat Mar 09 09:58:00 PST 2002
>Closed-Date:
>Last-Modified:
>Originator:     Ben Harris
>Release:        2002-03-09
>Organization:
>Environment:
NetBSD/acorn32

>Description:
/etc/rc.d/sysdb uses `sysctl -n machdep.booted_kernel` to get the name of
the currently-running kernel.  Unfortunately, on NetBSD/acorn32,
machdep.booted_kernel seems to contain the RISC OS name of the kernel,
which isn't valid in NetBSD.  For instance, on my machine:

machdep.booted_kernel = UnixFS:$.netbsd

This causes an error message at boot time:

kvm_mkdb: UnixFS:$.netbsd: No such file or directory

It also presumably stops anything that needs the kernel namelist from
working.

>How-To-Repeat:
Observe boot messages bringing an acorn32 system up multi-user.

>Fix:


>Release-Note:
>Audit-Trail:
>Unformatted: