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
..
cpu	x86: Add support for starting 64-bit kernel	2014-10-28 20:43:47 -06:00
dts	dm: x86: Convert coreboot serial to use driver model	2014-10-23 19:45:45 -06:00
include/asm	x86: Add support for starting 64-bit kernel	2014-10-28 20:43:47 -06:00
lib	x86: Move paging functions into cpu.c	2014-10-28 20:42:51 -06:00
config.mk	x86: set CONFIG_USE_PRIVATE_LIBGCC to y	2014-10-23 13:19:04 -04:00
Kconfig	kconfig: move CONFIG_USE_PRIVATE_LIBGCC to Kconfig	2014-10-23 13:19:09 -04:00