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.


boot process to serial initialization
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 7 Jul 2008 21:02:02 +0000 (21:02 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 7 Jul 2008 21:02:02 +0000 (21:02 +0000)
commitbf091be03d4a623fa1a9b3151698a4564a8339ba
tree965e4e6a15766b727ebf94d135a9a82772051e82
parentd964570646e2b882848b3291d59e5cf60f568533
boot process to serial initialization
palacios/src/devices/8254.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_intr.c
palacios/src/palacios/vmm_paging.c
palacios/src/palacios/vmm_shadow_paging.c