かつてインストールしてありました。いまは、中身が18. 04ltsに
なって、descentosの面影ぐらいしか残っていません。
paeカーネルにしようとしたのですが、ないのですよね。
それもそのはずで、メモリの様子を見たら、
すでにpaeカーネルになっていました。
4.15.0-142-genericで、paeなんですよね。
たぶん、常識のように知られていること。
それを知らない私。スコーンと抜けているところは、
抜け落ちている独学linuxの欠点が出てしまいました。
考えてみれば、32bit-osで、paeカーネルをデフォルトに
しない理由って、ないはずですね。
