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.


changes
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 31 Jul 2008 18:47:58 +0000 (18:47 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 31 Jul 2008 18:47:58 +0000 (18:47 +0000)
commit9e5b4c4140241b45094c87ac15f75fead726981f
treeb2922663c5794ba3b412fac9243640f1ca9b81be
parenta91de70b95f386ce0cb8226cb12966a79adb6c42
changes
misc/decoder_test/Makefile
misc/decoder_test/test.asm
misc/decoder_test/test.c
misc/decoder_test/vmm_decoder.h
misc/decoder_test/vmm_xed.c