Introduced new file kern/kern_fkvm.c .
commitf036c5b84bd8b927706a38de196e4d31b35656d5
authorDiego Ongaro <diego.ongaro@rice.edu>
Tue, 30 Sep 2008 15:08:22 +0000 (30 10:08 -0500)
committerDiego Ongaro <diego.ongaro@rice.edu>
Tue, 30 Sep 2008 15:08:22 +0000 (30 10:08 -0500)
tree198ef9af71ea14e0ef5aa0ecdd87350981919722
parentfca1ed8db25eac2ef6967be941ef51c4f2114b91
Introduced new file kern/kern_fkvm.c .

There's just empty stubs for fkvm_load() and fkvm_unload() in there for now.
sys/kern/kern_fkvm.c [new file with mode: 0644]