4f9dbcfc40
Setup the runtime services based on whether we're booting in EFI native mode or not. For non-native mode we need to thunk from 64-bit into 32-bit mode before invoking the EFI runtime services. Using the runtime services after SetVirtualAddressMap() is slightly more complicated because we need to ensure that all the addresses we pass to the firmware are below the 4GB boundary so that they can be addressed with 32-bit pointers, see efi_setup_page_tables(). Signed-off-by: Matt Fleming <matt.fleming@intel.com> |
||
|---|---|---|
| .. | ||
| ce4100 | ||
| efi | ||
| geode | ||
| goldfish | ||
| intel-mid | ||
| iris | ||
| olpc | ||
| scx200 | ||
| sfi | ||
| ts5500 | ||
| uv | ||
| visws | ||
| Makefile | ||