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.


lot of changes
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 21 May 2008 23:00:50 +0000 (23:00 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 21 May 2008 23:00:50 +0000 (23:00 +0000)
commitd8fc6aa4bc2a5d9cec50923e9d2bd30f867dd50a
treea2741c6e68cd77fa60b0633c39882e7b3361d5b9
parent639fdba00d36b2a60fad3d28703459354cf8744f
lot of changes
29 files changed:
palacios/build/Makefile
palacios/build/depend.mak
palacios/include/devices/8254.h [new file with mode: 0644]
palacios/include/geekos/vmm_stubs.h
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_dev_mgr.h
palacios/include/palacios/vmm_emulate.h
palacios/include/palacios/vmm_intr.h
palacios/include/palacios/vmm_irq.h [deleted file]
palacios/include/palacios/vmm_time.h [new file with mode: 0644]
palacios/include/palacios/vmm_types.h
palacios/include/palacios/vmm_util.h
palacios/src/devices/8254.c [new file with mode: 0644]
palacios/src/devices/8259a.c
palacios/src/devices/simple_pic.c
palacios/src/devices/timer.c
palacios/src/geekos/keyboard.c
palacios/src/geekos/main.c
palacios/src/geekos/timer.c
palacios/src/geekos/vm.c
palacios/src/geekos/vmm_stubs.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vm_dev.c
palacios/src/palacios/vmm_dev_mgr.c
palacios/src/palacios/vmm_intr.c
palacios/src/palacios/vmm_irq.c [deleted file]
palacios/src/palacios/vmm_time.c [new file with mode: 0644]