U-Boot VxWorks Boot Guide: bootvx, bootm, and bootefi 26 August 2026·2046 words·10 mins Vxworks U-Boot Vxworks 7 Embedded Systems Device Tree Bootloader PowerPC ARM RISC-V X86
