[U-Boot] [PATCH 04/10] x86: Add support for starting 64-bit kernel

[Simon Glass]

On 10 October 2014 08:21, Simon Glass <sjg at chromium.org> wrote:
> Add code to jump to a 64-bit Linux kernel. We need to set up a flat page
> table structure, a new GDT and then go through a few hoops in the right
> order.
>
> Signed-off-by: Simon Glass <sjg at chromium.org>

Applied to u-boot-x86 and now in mainline.