Какое ядро выбрать...
 

Всем привет! На ноуте 4 гига оперативы, если ставить 32 битную Ubuntu, на насколько мне известно, если она и увидит 4, то использовать будет только 3 или чуть больше. Какое ядро тогда постаить, серверное? Просто например в Fedora для таких случаев есть PAE-ядро, а как в Ubuntu?