Plan 9 E820: 00000000 0009ec00 memory E820: 0009ec00 000a0000 reserved E820: 000e0000 00100000 reserved E820: 00100000 de2d2000 memory E820: de2d2000 de4e1000 reserved E820: de4e1000 de568000 memory E820: de568000 de60f000 acpi nvs E820: de60f000 dec0c000 reserved E820: dec0c000 dec0d000 memory E820: dec0d000 dec50000 acpi nvs E820: dec50000 df559000 memory E820: df559000 df7f2000 reserved E820: df7f2000 df800000 memory E820: f8000000 fc000000 reserved E820: fec00000 fec01000 reserved E820: 100000000 41e000000 memory meminit - lost 9531392 bytes cpu0: 3401MHz GenuineIntel Core i7 (cpuid: AX 0x306A9 DX 0xBFEBFBFF) ELCR: 0C20 LAPIC: 0xfee00000 0xe0000000 mpinit: scanning acpi madt for extra cpus vmap pa=0 pc=0xf01532e3 cpu4: 3398MHz GenuineIntel Core i7 (cpuid: AX 0x306A9 DX 0xBFEBFBFF) cpu1: 3402MHz GenuineIntel Core i7 (cpuid: AX 0x306A9 DX 0xBFEBFBFF) cpu5: 3398MHz GenuineIntel Core i7 (cpuid: AX 0x306A9 DX 0xBFEBFBFF) cpu2: 3397MHz GenuineIntel Core i7 (cpuid: AX 0x306A9 DX 0xBFEBFBFF) cpu6: 3402MHz GenuineIntel Core i7 (cpuid: AX 0x306A9 DX 0xBFEBFBFF) cpu3: 3398MHz GenuineIntel Core i7 (cpuid: AX 0x306A9 DX 0xBFEBFBFF) cpu7: 3396MHz GenuineIntel Core i7 (cpuid: AX 0x306A9 DX 0xBFEBFBFF) #l0: igbepcie: 1Gbps port 0xF7200000 irq 11: 002590a9b2b6 #l1: igbepcie: 1Gbps port 0xF7100000 irq 10: 002590a9b2b7 mpintrenable: out of choices eisa -1 isa 5 tbdf 0xffffffff irq 6 intrenable: couldn't enable irq 6, tbdf 0xFFFFFFFF for floppy 3555M memory: 159M kernel data, 3395M user, 4020M swap