2013-04-23 07:03:09 +02:00
|
|
|
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.
|
|
|
|
hack: be nice to actually delete the event here
|
2013-10-02 11:03:38 +02:00
|
|
|
warn: x86 cpuid: unknown family 0xbacc
|
2013-04-23 07:03:09 +02:00
|
|
|
warn: x86 cpuid: unknown family 0x8086
|
|
|
|
warn: x86 cpuid: unknown family 0x8086
|
|
|
|
warn: x86 cpuid: unimplemented function 8
|
|
|
|
warn: x86 cpuid: unimplemented function 8
|
|
|
|
warn: Tried to clear PCI interrupt 14
|
|
|
|
warn: Unknown mouse command 0xe1.
|
|
|
|
warn: instruction 'wbinvd' unimplemented
|