Just copying this reply to the list.
> On 9 Aug 2017, at 11:41, Filippo Moretti wrote:
>
> I could not find a bios option,the kernel does report PAE as a CPU option
>
>
> Features=0xbfebfbff
> Features2=0x441d
> thank you
> Filippo
>
> On Wednesday, August 9, 2017, 12:36:47 PM GMT+2, Bob Bishop
> wrote:
>
>
> Hi,
>
> > On 9 Aug 2017, at 11:19, Filippo Moretti wrote:
> >
> > [...]
> > Further I did succesfully install a PAE kernel but the OS only finds the
> > same 3G ram as standard kernel insted of the 4 G available.Are there other
> > procedures in order to enable the 4G ram available?ThanksFilippo
>
>
> Maybe there is a BIOS option to enable PAE? Does the kernel report PAE in the
> CPU options at boot?
>
> --
> Bob Bishop
> r...@gid.co.uk
>
>
>
>
___
freebsd-current@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-current
To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"