Fixed page coloring given __CONFIG_PAGE_COLOR__
authorKevin Klues <klueska@ros-dev.(none)>
Fri, 23 Apr 2010 22:51:21 +0000 (15:51 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:44 +0000 (17:35 -0700)
commit7b11c392d27e0718be4702d8009a3a72c22ff9de
treec1fe1457827d0db00ea1a740a4bdbd2592c07a3a
parent072a6875deecfa42761f88228384fa2e163d6cdc
Fixed page coloring given __CONFIG_PAGE_COLOR__
kern/src/colored_caches.c
kern/src/page_alloc.c