oskit-mach vs PGE

[Roland McGrath]

Someone in the Utah group just noticed that the oskit's header file
defines CR4_PGE with the wrong value (0x20 should be 0x80).

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