1protocol "MOESI_hammer";
2include "RubySlicc_interfaces.slicc";
3include "MOESI_hammer-msg.sm";
4include "MOESI_hammer-cache.sm";
5include "MOESI_hammer-dir.sm";
6include "MOESI_hammer-dma.sm";
7