8f704298aa
Track when a page is mapping in multiple colors and deal with the ramifications. When a page's MOD attribute is cleared, clean it from the cache. Fix a logic inversion. With these changes, the TI SDP2420 H4 board can successfully natively build a TISDP2420 kernel. |
||
---|---|---|
.. | ||
Makefile | ||
db_machdep.h | ||
frame.h | ||
katelib.h | ||
machdep.h | ||
param.h | ||
pmap.h | ||
psl.h | ||
pte.h | ||
rtc.h | ||
types.h | ||
vmparam.h |