Userland problems in 12-CURRENT

[Bob Bishop]

Hi,

> On 9 Aug 2017, at 11:19, Filippo Moretti <filippomore at yahoo.com> 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
rb at gid.co.uk