Hi Andreas, Anthony, A while ago, TYPE_CPU was refactored to by a child of TYPE_DEVICE. As something of a hangover though, CPU has a separate reset fn to device. This means
device_reset(DEVICE(my_cpu)); doesn't actually work as a reset. Should we fix this by getting rif of cpu_reset and just using the device reset API for cpu reset? Regards, Peter
