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.


VMX is working for a 32-bit Linux kernel. It should also work for a 64-bit kernel...
[palacios.git] / palacios / src / palacios / vmm_direct_paging_32.h
2009-08-31 Andy Gocke VMX is working for a 32-bit Linux kernel. It should...
2009-08-31 Jack Lange added user page bits to enable write hook faulting
2009-06-26 Jack Lange email notification test 2
2009-04-20 Jack Lange added support for memory remapping
2009-04-17 Jack Lange changed memory map to be layered on top of a single...
2009-03-25 Jack Lange first cut at nested paging
2009-03-03 Jack Lange reformatting of the source files
2009-02-24 Jack Lange fixed emulation bugs
2009-02-23 Jack Lange fixed write hook handling
2009-02-23 Steven Jaconette changes to direct passthrough pagefault handlers
2009-02-07 Jack Lange bug fixes for:
2009-02-06 Steven Jaconette 32bit Write Hook Case for Direct Paging
2009-02-06 Steven Jaconette Direct paging changes