43c43,47
< default='ALPHA_SE,ALPHA_FS,MIPS_SE,' + \
---
> default='ALPHA_SE,ALPHA_SE_MOESI_hammer,' \
> 'ALPHA_SE_MESI_CMP_directory,' \
> 'ALPHA_SE_MOESI_CMP_directory,' \
> 'ALPHA_SE_MOESI_CMP_token,' \
> 'ALPHA_FS,MIPS_SE,' \