| warn: Sockets disabled, not accepting terminal connections | |
| warn: Sockets disabled, not accepting gdb connections | |
| warn: Prefetch instructions in Alpha do not do anything | |
| warn: Prefetch instructions in Alpha do not do anything | |
| hack: be nice to actually delete the event here |