|
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] |