@@ -17,8 +17,6 @@ For booting old kernels (6.9.x) on PowerPC and ARM, and all kernel versions
on other architectures, 'bootvx' shall be used. For booting VxWorks 7 kernels
on PowerPC and ARM, 'bootm' shall be used.
-64-bit x86 kernel cannot be loaded as of today.
-
VxWork 7 on PowerPC and ARM
---------------------------
From VxWorks 7, VxWorks starts adopting device tree as its hardware decription
@@ -79,3 +77,5 @@ For boards on which ACPI is not supported by U-Boot yet, VxWorks kernel must
be configured to use MP table and virtual wire interrupt mode. This requires
INCLUDE_MPTABLE_BOOT_OP and INCLUDE_VIRTUAL_WIRE_MODE to be included in a
VxWorks kernel configuration.
+
+Both 32-bit and 64-bit x86 kernels can be loaded.
With the introduction of the elf64 loader, now we can load a 64-bit VxWorks x86 kernel via the 'bootvx' command. Signed-off-by: Bin Meng <bmeng.cn@gmail.com> --- doc/README.vxworks | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)