Cache coherence basically working.
The second core can be enabled in the testbench by uncommenting '#IVFLAGS+=-DENABLE_CORE1=1' in the Makefile