139,140c139
< default="atomic", choices = ["atomic", "timing",
< "detailed", "inorder"],
---
> default="atomic", choices=CpuConfig.cpu_names(),