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
--- Begin Message ---which kernel are you running? the 386 kernel or the 386pae kernel? - erik
--- End Message ---
