Start shuffling functionality from kernel to user.
authorRonald G. Minnich <rminnich@gmail.com>
Fri, 31 Jul 2015 18:18:28 +0000 (11:18 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 2 Nov 2015 23:24:25 +0000 (18:24 -0500)
commit2c1a1387c0dbb4f3444a48168f389ffad7aa2947
tree1dde793191d8718852c3e78c22383d7fa9e7568d
parent09aa08fa6d54d95c418fa72ca116f91aa10d7d5e
Start shuffling functionality from kernel to user.

First step is IO, then vmcall, then whatever else we can do.

Required to make virtio channels work, and, really, this stuff should be
in user mode anyway.

Signed-off-by: Ronald G. Minnich <rminnich@gmail.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/vmm/intel/vmx.c
kern/include/ros/vmm.h
scripts/VMPXE
tests/vmm/vmrunkernel.c
tests/vmrunkernel.c [new file with mode: 0644]
user/vmm/io.c [new file with mode: 0644]
user/vmm/vmx.c [new file with mode: 0644]
user/vmm/vmx.h [new file with mode: 0644]