| warn: add_child('terminal'): child 'terminal' already has parent | |
| warn: Sockets disabled, not accepting terminal connections | |
| warn: Reading current count from inactive timer. | |
| warn: Sockets disabled, not accepting gdb connections | |
| warn: Don't know what interrupt to clear for console. | |
| warn: x86 cpuid: unknown family 0x8086 | |
| warn: Tried to clear PCI interrupt 14 | |
| warn: Unknown mouse command 0xe1. | |
| warn: instruction 'wbinvd' unimplemented | |
| hack: be nice to actually delete the event here |