On 280907, 12:56, Davide Brini wrote:
> On Friday 28 September 2007, Francesco - Kripsio - Boschetti wrote:
>
> > Installo un po' di robi poi mi viene in mente di guardare la ram.
> > Sia top che /proc/meminfo mi restituiscono 900 e rotti mb solamente,
> > linuxlogo mi riporta correttamente i 2,5Gb. Ovviamente per il sistema
> > (e soprattutto per vmware che deve girarci sopra) la memoria
> > disponibile è solo 900 e rotti Mb
>
> Il kernel ha CONFIG_HIGHMEM e CONFIG_HIGHMEM4G attivati?
>
> CONFIG_HIGHMEM4G:
>
> Select this if you have a 32-bit processor and between 1 and 4
>
> gigabytes of physical RAM.
Ora non ho sotto mano la macchina, ma
- andando a memoria mi pare che il supporto sia attivato in maniera
predefinita nel kernel di debian etch
- il config del kernel che ho compilato io sul portatile partendo dallo stock
etch
mi restituisce un
$ cat config-2.6.22.1-kripsio | grep -i HIGHMEM
# CONFIG_NOHIGHMEM is not set
CONFIG_HIGHMEM4G=y
# CONFIG_HIGHMEM64G is not set
CONFIG_HIGHMEM=y
- su un altra macchina ho 3 Gb di ram con virtualizzati un po' di robi e
sul kernel ed anche lì il kernel dell'host è stock.
Non ho la certezza matematica, magari controllo appena torno, ma se tre
indizi fanno una prova...
--
.''`. | L'immaginazione e' un'arma nella guerra contro la realta'.
: :' : | [Jules de Gaultier]
`. `'` |
`- |
|
|