Some time ago, David said:

> You're booting a cpu kernel that doesn't expect a user to be around
> and does expect to find its key (and other stuff) either in nvram
> or in a disk paritition called nvram.
> 
> Boot a terminal kernel (like 9pcdisk or 9pcf).

term% 9fat:
term% cat /n/9/plan9.ini
bootfile=sdC0!fs!/386/9pcdisk
.
.
.

9load finds this kernel and loads it to memory, or so it seems,
something like:

Found 9pcdisk...
Plan 9
...

from the booting secuence displayed information.

Is there any way to know what kernel is loaded (cpu or terminal) from
a runing system? maybe my kernels have wrong names.


-- 
url: http://163.117.15.158/~acortes/index.html