Hello everyone,

as already announced, Genode's recent release 15.11 contains enhanced TrustZone support on the USB Armory board using our custom base-hw kernel. Due to the many-sided and perceptive story behind this improvement, we decided to provide a dedicated article. Besides telling our story, the article also illustrates how the new TrustZone demo on the USB Armory works and how you can easily bring it to your own USB Armory. If you are interested in this topic, you may read the article at:

http://genode.org/documentation/articles/usb_armory

I hope you enjoy it and may even find it helpful.