| commit | 90b431a1ffbe7ce502fddd6d697f1f4fa18573b9 | |
| author | Diego Ongaro <diego.ongaro@rice.edu> | |
| Thu, 20 Nov 2008 07:51:54 +0000 (20 01:51 -0600) | ||
| committer | Diego Ongaro <diego.ongaro@rice.edu> | |
| Thu, 20 Nov 2008 07:53:15 +0000 (20 01:53 -0600) | ||
| tree | acd625be6d6f133d04b0436bed085013be0251c4 | treesnapshot (tar.gz zip) |
| parent | 62aa83446e44ee337b2cdd3543c8fc4a3208b5bd | commitdiff |
adds fkvm_loaded flag
| sys/kern/kern_fkvm.c | diffblobblamehistory |