On Mon Mar 31 21:01:35 EDT 2014, kokam...@hera.eonet.ne.jp wrote: > 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.
the 386pae kernel is in /sys/src/9/pcpae. it is the same as the pc kernel, except is uses physical address extension to address more than 4GB of memory. (but not too much more. :-)) - erik