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.


Added selective per CPU initialization option
authorBrian Kocoloski <briankoco@cs.pitt.edu>
Sat, 14 Apr 2012 05:10:06 +0000 (01:10 -0400)
committerJack Lange <jarusl@livonia.cs.pitt.edu>
Sat, 14 Apr 2012 05:10:06 +0000 (01:10 -0400)
commita2b48dd0c4f8ccfa633139bc2b9aa4ddf59eda5c
treeb2fcb2828a8b147dd98b970eb548268acbdee0a1
parent3a4199e3954eafb0f2ef886ca3a24a9cee391a43
Added selective per CPU initialization option
linux_module/main.c
linux_module/palacios-stubs.c
palacios/include/palacios/vmm.h
palacios/src/palacios/vmm.c