x86: Mention how to boot a 64-bit kernel from U-Boot
[oweals/u-boot.git] / post /
drwxr-xr-x   ..
-rw-r--r-- 412 Makefile
drwxr-xr-x - board
drwxr-xr-x - cpu
drwxr-xr-x - drivers
drwxr-xr-x - lib_powerpc
-rw-r--r-- 9986 post.c
-rw-r--r-- 6609 tests.c