Verificare che si vedono solo 3 GB di RAM totali:
[root] free -m
Aggiornare la distribuzione con tutte le ultime fix disponibili:
[root]apt-get update
[root]apt-get upgrade
Installare il Linux Kernel Server:
[root] apt-get install linux-server linux-headers-server
Oppure, installare il PAE enabled kernel:
[root] apt-get install linux-generic-pae linux-headers-generic-pae linux-image-generic-pae
Riavviare il desktop:
[root]reboot
Scegliere da GRUB la versione server (dovrebbe essere il default).
Verificare che si vede tutta la RAM disponibile (4 GB o più):
[root] free -m
That’s all folks!