[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.
Igor
- oskit-mach vs PGE, Roland McGrath, 2000/12/21
- Re: oskit-mach vs PGE,
Igor Khavkine <=