Hi user
Flying autonomous aircraft: Mixed-criticality support in seL4
* [(00:00)](http://youtu.be/ijTTZgQ8cB4?t=0h0m0s)
* [(25:36)](http://youtu.be/ijTTZgQ8cB4?t=0h25m36s)
* [(00:00)](http://youtu.be/ijTTZgQ8cB4?t=0h0m0s) 25.0 min
* [(25:36)](http://youtu.be/ijTTZgQ8cB4?t=0h25m36s) 20.0 min
(00:00)
(25:36)
Veyepar Video Eyeball Processor and Review