1. Design of the Genode OS Architecture: Interfaces and Mechanisms. http://genode.org/documentation/architecture/interfaces. Accessed: 2016-02-22. Design of the Genode OS Architecture: Interfaces and Mechanisms. http://genode.org/documentation/architecture/interfaces. Accessed: 2016-02-22.
2. Invoking user-space applications from the kernel. https://www.ibm.com/developerworks/library/l-user-space-apps/. Accessed: 2016-10-13. Invoking user-space applications from the kernel. https://www.ibm.com/developerworks/library/l-user-space-apps/. Accessed: 2016-10-13.
3. UI/Application Exerciser Monkey. https://developer.android.com/studio/test/monkey.html. Accessed: 2016-10-10. UI/Application Exerciser Monkey. https://developer.android.com/studio/test/monkey.html. Accessed: 2016-10-10.
4. X.Org Security Advisory: Dec. 9 2014. https://www.x.org/wiki/Development/Security/Advisory-2014-12-09/. Accessed: 2016-10-11. X.Org Security Advisory: Dec. 9 2014. https://www.x.org/wiki/Development/Security/Advisory-2014-12-09/. Accessed: 2016-10-11.