_pages/static/scripts/part3/MSI_protocol/MSI.slicc

protocol "MSI";
include "RubySlicc_interfaces.slicc";
include "MSI-msg.sm";
include "MSI-cache.sm";
include "MSI-dir.sm";