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...@gmail.com> --- doc/README.vxworks | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/README.vxworks b/doc/README.vxworks index b95a516..3004466 100644 --- a/doc/README.vxworks +++ b/doc/README.vxworks @@ -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. -- 2.7.4 _______________________________________________ U-Boot mailing list U-Boot@lists.denx.de https://lists.denx.de/listinfo/u-boot
