1. Porting FreeRTOS to Xen on© 2014 Galois, Inc. All rights reserved.ARMJonathan Daugherty ([email protected])Xen Developer Summit | August 19, 2014 2. © 2014 Galois, Inc.…