Reduced boot time
authorAndrew Waterman <waterman@ubuntu.(none)>
Sun, 3 Jan 2010 01:05:23 +0000 (17:05 -0800)
committerAndrew Waterman <waterman@ubuntu.(none)>
Sun, 3 Jan 2010 01:05:23 +0000 (17:05 -0800)
commit851ade42c725ddb5ec80d5116e0c34c1d5c43b27
tree298c308d252e58ccdb0c61ba652d7147f42eeaac
parent1413691875124c6e08f106bc8a00f5bc763f3471
Reduced boot time

Most boot time is spent adding pages to the free list.
I inlined the function to determine the page color, and
added the assumption that there is a power of two number
of colors (true for all commercial processor caches).
kern/include/colored_caches.h
kern/include/colored_page_alloc.h
kern/src/page_alloc.c