I tested the connections between minor/simple/o3 and CheckerCPU. Only RISC-V simple was able to connect and run normally with DummyChecker. The interface support of CheckerCPU can still be seen in O3, but can CheckerCPU still function properly? If it is no longer being used, what is the reason for that?