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

kbuild: move asm-offsets.c from SoC directory to arch/$(ARCH)/lib

2014-03-28 15:06:29 -04:00

call64.S

x86: Add support for starting 64-bit kernel

2014-10-28 20:43:47 -06:00

config.mk

kconfig: delete redundant CONFIG_${ARCH} definition

2014-07-30 14:42:02 -04:00

cpu.c

x86: Add support for starting 64-bit kernel

2014-10-28 20:43:47 -06:00

interrupts.c

Add GPL-2.0+ SPDX-License-Identifier to source files

2013-07-24 09:44:38 -04:00

Makefile

x86: Add support for starting 64-bit kernel

2014-10-28 20:43:47 -06:00

resetvec.S

Add GPL-2.0+ SPDX-License-Identifier to source files

2013-07-24 09:44:38 -04:00

start16.S

x86: Fix GDT limit in start16.S

2014-10-22 09:03:07 -06:00

start.S

dm: x86: Support pre-reloc malloc()

2014-10-23 19:45:28 -06:00

u-boot.lds

Add GPL-2.0+ SPDX-License-Identifier to source files

2013-07-24 09:44:38 -04:00