Resources for “Kernel Mode Linux for AMD64”

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