initial code from CMU linuxrk-3.10 which has the cache partition and synchronization