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.


Minor tweaks and configuration comments for vmm_fw_cfg (the interface to the SEABIOS)
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 1 Jul 2013 22:06:43 +0000 (17:06 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sun, 4 Aug 2013 22:31:20 +0000 (17:31 -0500)
commit1cc8fb21b4fdd6d2eb16742af13d60949e61d2ed
tree2114999172957e23cc5c794646cc5d17e88dde0f
parent179cda8c3c2686bb4605f67ec6d525d2951c618f
Minor tweaks and configuration comments for vmm_fw_cfg (the interface to the SEABIOS)

This also includes some minor cleanup

fs
palacios/src/devices/bochs_debug.c
palacios/src/palacios/vmm_binaries.S
palacios/src/palacios/vmm_config_class.h
palacios/src/palacios/vmm_fw_cfg.c