Kernel Mode Linux: www.yl.is.s.u-tokyo.ac.jp/~tosh/kml
“Kernel Mode Linux” by Toshiyuki Maeda, Linux Journal, May 2003: /article/6516
MySQL: www.mysql.com
System V Application Binary Interface for AMD64: www.x86-64.org/documentation
Virtual machines
VMware: www.vmware.com
Xen: www.cl.cam.ac.uk/Research/SRG/netos/xen
Protection by Software
.NET: www.microsoft.com/net
Proof-Carrying Code: raw.cs.berkeley.edu/pcc.html
Typed Assembly Language: www.cs.cornell.edu/talc