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.


moved svm_lowlevel.asm over to gas syntax in svm_lowlevel.S
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 20 Oct 2008 22:58:12 +0000 (17:58 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 20 Oct 2008 22:58:12 +0000 (17:58 -0500)
commite9e3ee43cb302909917b5919f6043347b73c6995
treee1be9e66cd5368788a0208d996bd60f6caf02c47
parent773e6e7d212b3ece194cd0e75a383db7d2b9a2b1
moved svm_lowlevel.asm over to gas syntax in svm_lowlevel.S
palacios/build/Makefile
palacios/src/palacios/svm.c
palacios/src/palacios/svm_lowlevel.S [new file with mode: 0644]
palacios/src/palacios/svm_lowlevel.asm [deleted file]