Attention is currently required from: Arthur Heymans, Chen, Gang C, Jincheng Li, Paul Menzel, Shuo Liu.

Patch set 16:Code-Review +1

View Change

2 comments:

• File src/device/Kconfig:

  • Patch Set #16, Line 1012: config RESOURCE_IGNORE_FLAG_IORESOURCE_ABOVE_4G

    I think this deserves a more positive naming. e.g. `ALWAYS_ALLOW_ABOVE_4G_ALLOCATION`.

  • Patch Set #16, Line 1019: 32bit mode

    Technically the incompatible mode is "flat protected mode", or we could
    say "without paging". We do have some PAE code in coreboot, IIRC. So it's
    actually possible to access above 4G.

To view, visit change 78331. To unsubscribe, or for help writing mail filters, visit settings.