Simon Glass 200182a748 x86: Add support for starting 64-bit kernel ... 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@chromium.org>		2014-10-28 20:43:47 -06:00
..
coreboot	…
Makefile	x86: Add support for starting 64-bit kernel	2014-10-28 20:43:47 -06:00
call64.S	x86: Add support for starting 64-bit kernel	2014-10-28 20:43:47 -06:00
config.mk	…
cpu.c	x86: Add support for starting 64-bit kernel	2014-10-28 20:43:47 -06:00
interrupts.c	…
resetvec.S	…
start.S	…
start16.S	…
u-boot.lds	…