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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 3040cb0)
Integration of QUIX86 decoder libraries. Debug and optimized versions.
authorAlexander Kudryavtsev <alexk@ispras.ru>
Mon, 30 Jan 2012 15:29:16 +0000 (19:29 +0400)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 8 Feb 2012 21:59:01 +0000 (16:59 -0500)
commit3d68a569e5122ebb366d426d1e69f657a4201408
tree5904e2d20bdbc3a283278634114463fa51a46ceetree | snapshot
parent3040cb0b3c89d04aab4a6e229dcf4d2223a45295commit | diff
Integration of QUIX86 decoder libraries. Debug and optimized versions.
Kconfig diff | blob | history
palacios/include/quix86/quix86.h [new file with mode: 0644] blob
palacios/lib/i386/Makefile diff | blob | history
palacios/lib/i386/libquix86.a [new file with mode: 0644] blob
palacios/lib/i386/libquix86_debug.a [new file with mode: 0644] blob
palacios/lib/x86_64/Makefile diff | blob | history
palacios/lib/x86_64/libquix86.a [new file with mode: 0644] blob
palacios/lib/x86_64/libquix86_debug.a [new file with mode: 0644] blob
palacios/src/palacios/Makefile diff | blob | history
palacios/src/palacios/vmm_quix86.c [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project