Merge commit 'brent/master'
commit5a08a67aeb4febf4b17f2a7236dafd9ea17b2fb9
authorDiego Ongaro <diego.ongaro@rice.edu>
Sun, 19 Oct 2008 13:23:31 +0000 (19 08:23 -0500)
committerDiego Ongaro <diego.ongaro@rice.edu>
Sun, 19 Oct 2008 13:23:31 +0000 (19 08:23 -0500)
treeb0b1b5758a2b1456af4f82cefb68d155e1b22359
parent4ff9792a6ac39929316fd912e8deac1cdaad4976
parent74ffb58faecd7646da323dceca24ee549da286c3
Merge commit 'brent/master'
sys/kern/kern_fkvm.c