add videos

Author: transpute

related.md

@@ -9,25 +9,24 @@ permalink: /related/
 > "... is a family of second-generation microkernels, generally used to implement Unix-like operating systems, but also used in a variety of other systems ... L4 is widely deployed. One variant, OKL4 from Open Kernel Labs, shipped in billions of mobile devices"
 
 + [History](http://en.wikipedia.org/wiki/L4_microkernel_family)
-+ [Genode OS Framework](http://genode.org/), *Dresden, Germany*
-+ [seL4 Secure Microkernel](http://ssrg.nicta.com/projects/seL4/), *NICTA, Australia*
++ [Genode OS Framework](http://genode.org/), *Germany*
++ [seL4 Secure Microkernel](http://ssrg.nicta.com/projects/seL4/), *Australia*
 + [News](http://l4hq.org/)
 
 # Qubes OS
 
 > "... is a security-focused desktop operating system that aims to provide security through isolation. Virtualization is performed by Xen, and user environments are based on Fedora."
 
 + [History](http://en.wikipedia.org/wiki/Qubes_OS)
-+ [Software](https://qubes-os.org/)
++ [Software](https://qubes-os.org/), *Poland*
 + [Research](https://qubes-os.org/wiki/QubesResearch)
 + [Users](https://groups.google.com/forum/#!forum/qubes-users) · [Developers](https://groups.google.com/forum/#!forum/qubes-devel) · [News](http://theinvisiblethings.blogspot.com/)
 
 # Unikernels
 
-+ [Cloudius OSV](http://osv.io)
-+ [Erlang VM](http://erlangonxen.org/)
-+ [HaLVM](http://halvm.org)
-+ [OpenMirage](http://openmirage.org)
++ C/Java: [Cloudius OSV](http://osv.io), *Israel*
++ Haskell: [HaLVM](http://halvm.org), *USA*
++ Ocaml: [OpenMirage](http://openmirage.org), *UK*
 
 # OpenXCI
 
@@ -39,14 +38,15 @@ permalink: /related/
 
 > "... provides stronger security services which are more resistant to attack and abstractions which are less prone to abuse by attackers. As an example of the former, all networking in Ethos is encrypted, authenticated, and authorized. As an example of the latter, Ethos I/O is typed (as in programming languages) ensuring that I/O conforms to declared typed and thus preventing many attacks based on ill-formed input."
 
-+ [Research](https://www.ethos-os.org/), *University of Illinois, Chicago, USA*
++ [U of Illinois Research](https://www.ethos-os.org/), *USA*
 
 # Proprietary
 
-+ [Bromium vSentry](http://www.bromium.com/products/vsentry.html)
-+ [Fox IT DataDiode](https://www.fox-it.com/en/products/datadiode/)
-+ [Green Hills Integrity Multivisor](http://www.ghs.com/products/rtos/integrity_virtualization.html)
-+ [Moka5](http://www.moka5.com/)
-+ [Raytheon Trusted Thin Client](https://www.trustedcs.com/products/TrustedThinClient.html)
-+ [Secunet SINA Virtual Workstation](http://www.secunet.com/en/topics-solutions/high-security/sina/sina-workstation/)
-+ [Tresys VMFortress](http://www.tresys.com/products/vm-fortress.php)
++ [Bromium vSentry](http://www.bromium.com/products/vsentry.html) -- [Ian Pratt, 7m video](http://www.bromium.com/videos/how-does-microvirtualization-protect-you.html), *USA, UK*
++ [Cloudozer](http://cloudozer.com/) · [ Erlang on Xen](http://erlangonxen.org/) -- [Maxim Kharchenko, Jun 2014, 60m video](https://air.mozilla.org/june-sf-erlang-meetup/), *UK, Germany*
++ [Fox IT DataDiode](https://www.fox-it.com/en/products/datadiode/) -- [2010, 4m video](http://www.youtube.com/watch?v=vemwnQmnvuo), *Netherlands*
++ [Green Hills Integrity Multivisor](http://www.ghs.com/products/rtos/integrity_virtualization.html) -- [2011, 24m video](http://www.youtube.com/watch?v=71lBF24F3h0), *USA, UK*
++ [Moka5](http://www.moka5.com/), *USA*
++ [Raytheon Trusted Thin Client](https://www.trustedcs.com/products/TrustedThinClient.html), *USA*
++ [Secunet SINA Virtual Workstation](http://www.secunet.com/en/topics-solutions/high-security/sina/sina-workstation/), *Germany*
++ [Tresys VMFortress](http://www.tresys.com/products/vm-fortress.php), *USA*