 0.000000] BIOS-e820: [mem 0x0000000000000000-0x000000000009fbff] usable
[    0.000000] BIOS-e820: [mem 0x000000000009fc00-0x000000000009ffff] reserved
[    0.000000] BIOS-e820: [mem 0x00000000000f0000-0x00000000000fffff] reserved
[    0.000000] BIOS-e820: [mem 0x0000000000100000-0x000000007ffd7fff] usable
[    0.000000] BIOS-e820: [mem 0x000000007ffd8000-0x000000007fffffff] reserved
[    0.000000] BIOS-e820: [mem 0x00000000b0000000-0x00000000bfffffff] reserved
[    0.000000] BIOS-e820: [mem 0x00000000fed1c000-0x00000000fed1ffff] reserved
[    0.000000] BIOS-e820: [mem 0x00000000feffc000-0x00000000feffffff] reserved
[    0.000000] BIOS-e820: [mem 0x00000000fffc0000-0x00000000ffffffff] reserved
[    0.000000] BIOS-e820: [mem 0x0000000100000000-0x00000001ffffffff] usable

00000000-00000fff : Reserved
00001000-0009fbff : System RAM
0009fc00-0009ffff : Reserved
000a0000-000bffff : PCI Bus 0000:00
000c0000-000c99ff : Video ROM
000ca000-000cadff : Adapter ROM
000cb000-000cd3ff : Adapter ROM
000f0000-000fffff : Reserved
  000f0000-000fffff : System ROM
00100000-7ffd7fff : System RAM
7ffd8000-7fffffff : Reserved
80000000-afffffff : PCI Bus 0000:00
b0000000-bfffffff : PCI MMCONFIG 0000 [bus 00-ff]
  b0000000-bfffffff : Reserved
c0000000-febfffff : PCI Bus 0000:00
  fc800000-fcffffff : 0000:00:01.0
  fd000000-fd1fffff : PCI Bus 0000:06
  fd200000-fd3fffff : PCI Bus 0000:05
    fd200000-fd203fff : 0000:05:00.0
      fd200000-fd203fff : virtio-pci-modern
  fd400000-fd5fffff : PCI Bus 0000:04
    fd400000-fd403fff : 0000:04:00.0
      fd400000-fd403fff : virtio-pci-modern
  fd600000-fd7fffff : PCI Bus 0000:03
    fd600000-fd603fff : 0000:03:00.0
      fd600000-fd603fff : virtio-pci-modern
  fd800000-fd9fffff : PCI Bus 0000:02
    fd800000-fd803fff : 0000:02:00.0
      fd800000-fd803fff : virtio-pci-modern
  fda00000-fdbfffff : PCI Bus 0000:01
  fdc00000-fdc03fff : 0000:00:01.0
    fdc00000-fdc03fff : virtio-pci-modern
  fde00000-fdffffff : PCI Bus 0000:06
  fe000000-fe1fffff : PCI Bus 0000:05
  fe200000-fe3fffff : PCI Bus 0000:04
  fe400000-fe5fffff : PCI Bus 0000:03
    fe400000-fe400fff : 0000:03:00.0
  fe600000-fe7fffff : PCI Bus 0000:02
    fe600000-fe600fff : 0000:02:00.0
  fe800000-fe9fffff : PCI Bus 0000:01
    fe800000-fe87ffff : 0000:01:00.0
    fe880000-fe89ffff : 0000:01:00.0
      fe880000-fe89ffff : e1000
  fea10000-fea13fff : 0000:00:1b.0
  fea14000-fea14fff : 0000:00:01.0
  fea15000-fea15fff : 0000:00:02.0
  fea16000-fea16fff : 0000:00:02.1
  fea17000-fea17fff : 0000:00:02.2
  fea18000-fea18fff : 0000:00:02.3
  fea19000-fea19fff : 0000:00:02.4
  fea1a000-fea1afff : 0000:00:02.5
  fea1b000-fea1bfff : 0000:00:1d.7
  fea1c000-fea1cfff : 0000:00:1f.2
    fea1c000-fea1cfff : ahci
fec00000-fec003ff : IOAPIC 0
fed1c000-fed1ffff : Reserved
fee00000-fee00fff : Local APIC
feffc000-feffffff : Reserved
fffc0000-ffffffff : Reserved
100000000-17fffffff : System RAM
1b1c00000-1b3bfffff : System RAM
  1b1c00000-1b2800587 : Kernel code
  1b2a00000-1b3111fff : Kernel rodata
  1b3200000-1b33912ff : Kernel data
  1b3891000-1b39fffff : Kernel bss
1b3c00000-1b3ffffff : RAM buffer
200000000-9ffffffff : PCI Bus 0000:00
