simerr revision 9901:13c5fea24be1
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
11