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.


freeing of virtual paging state during guest deinitialization
[palacios.git] / palacios / src / palacios /
2011-01-11 Jack Lange freeing of virtual paging state during guest deinitiali...
2011-01-06 Jack Lange fixed bug in time initialization, and added deinitializ...
2011-01-06 Jack Lange deinitialization of interrupt state
2011-01-06 Jack Lange added vmcs/vmcb freeing
2010-11-29 Erik van der Kouwe This patch allows the guest to shut down the virtual...
2010-11-26 Erik van der Kouwe This patch virtualizes VM_CR_MSR to tell the guest...
2010-11-26 Erik van der Kouwe disassemble the code around the RIP. It starts disassem...
2010-11-24 Jack Lange minor fixes for stopping VMs
2010-11-23 Jack Lange updated stop procedure to handle multiple cores
2010-11-23 Jack Lange added free interface
2010-11-23 Jack Lange deallocation of devices
2010-11-23 Jack Lange Merge branch 'devel' of ssh://palacios@newskysaw/home...
2010-11-23 Jack Lange changed device registration interface
2010-11-23 Lei Xia Merge branch 'devel' of palacios@newskysaw.cs.northwest...
2010-11-23 Lei Xia More fix on VNET code
2010-11-23 Jack Lange Updated devices to remove vm_device dependencies.
2010-11-22 Jack Lange reworked device IO hook framework
2010-11-22 Lei Xia add backend device for direct host network bridge
2010-11-21 Lei Xia Minor fix on virtio network device config
2010-11-19 Jack Lange more device free updates
2010-11-19 Jack Lange update page free interface to allow freeing of multiple...
2010-11-19 Jack Lange timer interface updates to allow state cleanup on exit
2010-11-18 Jack Lange argument order fix
2010-11-18 Jack Lange updated file interface
2010-11-18 Jack Lange Merge branch 'devel' of ssh://palacios@newskysaw/home...
2010-11-18 Jack Lange updated the socket interface
2010-11-18 Lei Xia add raw packet interface
2010-11-17 Lei Xia More clean on VNET codes
2010-11-17 Lei Xia VNET code clean and rearrangement
2010-11-15 Lei Xia Merge branch 'devel' of palacios@newskysaw.cs.northwest...
2010-11-15 Jack Lange Merge branch 'devel' of ssh://palacios@newskysaw/home...
2010-11-15 Jack Lange added error checking to svm initialization
2010-11-15 Jack Lange moved the host_private_data assignment to earlier in...
2010-11-12 Lei Xia Rename vmm_vnet.c to vmm_vnet_core.c
2010-11-11 Patrick G. Bridges Fixed (hopefully) bug introduced previously by moving...
2010-11-10 Jack Lange added dimension flags to console hooks
2010-11-10 Jack Lange reworked the console hooks
2010-11-10 Jack Lange moved CONSOLE host event to SERIAL host event
2010-11-10 Patrick G. Bridges Minor debugging print changes/fixups
2010-11-10 Lei Xia Update char_stream device for virtual console input...
2010-11-10 Lei Xia add the virtual console input as a host event
2010-11-09 Jack Lange added char device operations to device manager
2010-11-09 Jack Lange updated stream API
2010-11-08 Jack Lange reworked the launch code
2010-11-08 Jack Lange reworked launch code
2010-11-08 Lei Xia Merge branch 'devel' of palacios@newskysaw.cs.northwest...
2010-11-08 Lei Xia virtual console works with stream-serial implementation
2010-11-07 Jack Lange added configurable host OS thread support
2010-11-05 Jack Lange added run state checks to the vm run loops to allow...
2010-11-05 Jack Lange wrapped decoder address check in shadow paging check
2010-11-05 Jack Lange fix 32 bit vmx entry to match i386/gcc calling conventions
2010-11-05 Erik van der Kouwe This patch contains various small fixes. Some are MINIX...
2010-11-05 Jack Lange added framework for stopping guest execution
2010-11-05 Jack Lange fixed write hook tmp page for ANY_CORE hooked pages
2010-11-04 Lei Xia minor fix on reference of v3_init_vnet
2010-11-03 Patrick G. Bridges Fixed minor bug with computing memory size due to type...
2010-11-03 Lei Xia Merge branch 'devel' of palacios@newskysaw.cs.northwest...
2010-11-03 Lei Xia Merge branch 'devel' of palacios@newskysaw.cs.northwest...
2010-11-03 Lei Xia stream implementation and interface between searial...
2010-10-29 Jack Lange minor fixes. Can now successfully boot up when Qemu...
2010-10-27 Jack Lange more multicore fixes
2010-10-27 Jack Lange minor clean up fixes and debugging
2010-10-26 Jack Lange Removed a lot of the highly specific multicore code...
2010-10-25 Jack Lange Merge branch 'devel' of ssh://palacios@newskysaw/home...
2010-10-25 Jack Lange added private data pointer to per vm state...
2010-10-25 Patrick G. Bridges Merge branch 'devel' into timer_control
2010-10-25 Patrick G. Bridges Minor changes to debugging, change to Makefile to suppo...
2010-10-21 Patrick G. Bridges More minor fixes on time keeping. VMM clock now appears...
2010-10-20 Jack Lange some fixes to caching, still segfaults at the init...
2010-10-20 Patrick G. Bridges More minor updates for handling time. Virtually slower...
2010-10-20 Patrick G. Bridges Attempts to support virutally slower processors - broken!
2010-10-20 Patrick G. Bridges Minor cleanups on time handling.
2010-10-20 Jack Lange initial shadow page cache version
2010-10-19 Patrick G. Bridges Merge branch 'devel' into timer_control
2010-10-19 Patrick G. Bridges Fixed merge of apic.c
2010-10-19 Patrick G. Bridges More updates getting basic version of time handling...
2010-10-19 Jack Lange remove debugging
2010-10-19 Jack Lange large page changes
2010-10-18 Patrick G. Bridges Still working on timer updates, heading towards being...
2010-10-09 Peter Dinda Implementation of stream device backend, interface...
2010-10-06 Lei Xia Merge branch 'devel' of palacios@newskysaw.cs.northwest...
2010-10-06 Peter Dinda v3_start_guest now exhibits the former behavior when
2010-10-06 Lei Xia All updates on the VNET during summer
2010-10-06 Jack Lange linux fixes
2010-10-06 Jack Lange config fix
2010-10-05 Jack Lange Merge branch 'devel' of ssh://palacios@newskysaw.cs...
2010-10-05 Jack Lange format fix
2010-10-05 Peter Dinda Merge branch 'devel' of ssh://palacios@newskysaw.cs...
2010-10-01 Patrick G. Bridges Time configuration parameters added. More time control...
2010-10-01 Patrick G. Bridges Added initialization of yield_start_cycle to start_time()
2010-10-01 Patrick G. Bridges MOre minor fixes
2010-09-26 Peter Dinda Partially functional support for APIC/ICC clustered...
2010-09-24 Jack Lange format fixes
2010-09-20 Patrick G. Bridges Initial testing of new time handling on VMX, initial...
2010-09-20 Patrick G. Bridges Implemented (but not yet tested) time interface changes...
2010-08-26 Patrick G. Bridges Minor warning/error prints corrected.
2010-08-13 Jack Lange change to device configuration syntax
2010-08-12 Patrick Bridges Added support for using large shadow pages with 32...
2010-08-12 Patrick Bridges Actually fixed page alignment computation to be correct...
2010-08-11 Patrick Bridges Added robust physical alignment check
next