On Wed, 21 Jan, at 02:54:20PM, Bruno Prémont wrote: > > So the default LOAD_PHYSICAL_ADDR is being selected/used. > > This all happens after efi_main() as far as I can understand. > Is there a way to let efi_printk() do string formatting? It should have > both source and destination addresses as it is doing the relocation (or at > least one step of it). "Here's one I made earlier..." Take a look at the patches on the 'efi-debug' branch, they may be useful, http://git.kernel.org/cgit/linux/kernel/git/mfleming/efi.git/log/?h=efi-debug -- Matt Fleming, Intel Open Source Technology Center -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html