I've been apart from Plan9 for days, then, please
forgive my silly question.

What is 386pae kernel, and how I can find
which kernel I'm running.

Kenji