Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


updated devices to use new host event interface
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 15 Oct 2008 03:48:25 +0000 (22:48 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 15 Oct 2008 03:48:25 +0000 (22:48 -0500)
commita46778669bb94bcf6b0a05646123ff748cfe86be
treeef4d038c5062288a0eec1686f0a8aac8359c955d
parent82cceefa66b1f05d8f9d5bfcb2fb7214755e1904
updated devices to use new host event interface
updated GeekOS to use new host event interface
geekos/include/geekos/vmm_stubs.h
geekos/src/geekos/keyboard.c
geekos/src/geekos/main.c
geekos/src/geekos/timer.c
geekos/src/geekos/vm.c
geekos/src/geekos/vmm_stubs.c
palacios/include/devices/keyboard.h
palacios/include/palacios/vmm_host_events.h
palacios/src/devices/keyboard.c
palacios/src/devices/nvram.c
palacios/src/palacios/vmm_config.c