[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: oskit-mach vs PGE

From: Igor Khavkine
Subject: Re: oskit-mach vs PGE
Date: Fri, 22 Dec 2000 01:01:18 -0500
User-agent: Mutt/1.2.5i

On Thu, Dec 21, 2000 at 11:52:07PM -0500, Roland McGrath wrote:
> Someone in the Utah group just noticed that the oskit's header file
> defines CR4_PGE with the wrong value (0x20 should be 0x80).

Maybe that's why I had those problems booting with oskit-mach
unless I disabled setting the PGE flag. I'll try compiling
the kernel again after the holidays.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]