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