In message c3d0340b0605301146i3313656dy8d5768c313af68a9@mail.gmail.com you wrote:

A quick question on the license issue. If I understand correctly, U-Boot can boot proprietary applications that are not licensed under GPL such as VxWorks. There is a boot hook for VxWorks in the distribution.

I see no point where the license could be not clear about this. As long as you don't link against U-Boot code, or use U-Boot code to otherwise create derived works, you can do whatever you want.

Would you please confirm that?

ACK.

Best regards,

Wolfgang Denk