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