Re: oskit-mach vs PGE

[Igor Khavkine]

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.

Igor

_______________________________________________
Bug-hurd mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-hurd