Hello

I'm currently trying to boot Genode 15.02 on the USB Armory.

[1] provides tutorial of secure boot on USB Armory.

But, [1] only handle linux zImage.

Is this possible to generate signed U-boot for Genode image?

[1] https://github.com/inversepath/usbarmory/wiki/Secure-boot