|
| From: | Roland McGrath |
| Subject: | oskit-mach vs PGE |
| Date: | Thu, 21 Dec 2000 23:52:07 -0500 (EST) |
Someone in the Utah group just noticed that the oskit's header file defines CR4_PGE with the wrong value (0x20 should be 0x80).
| [Prev in Thread] | Current Thread | [Next in Thread] |