1warn: DRAM device capacity (8192 Mbytes) does not match the address range assigned (128 Mbytes)
2warn: Sockets disabled, not accepting terminal connections
3warn: Sockets disabled, not accepting gdb connections
4warn: Reading current count from inactive timer.
5warn: Replacement policy updates recently became the responsibility of SLICC state machines. Make sure to setMRU() near callbacks in .sm files!
6warn: Don't know what interrupt to clear for console.
7warn: x86 cpuid: unknown family 0x8086
8warn: instruction 'wbinvd' unimplemented
9warn: instruction 'wbinvd' unimplemented
10warn: x86 cpuid: unknown family 0x8086
11hack: Assuming logical destinations are 1 << id.
12warn: Tried to clear PCI interrupt 14
13warn: Unknown mouse command 0xe1.
14