git clone http://v3vee.org/palacios/palacios.web/palacios.git

  cd palacios
  git checkout --track -b devel origin/devel

Initial support for moving virtual cores among different physical CPUs
To move a virtual core, use "v3_core_move /dev/v3-vm# vcore_id pcore_id"

Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

change poll mode for each VNET device
remove VNET global queue for packet forwarding, instead, each frontend device
that uses VNET as backend packet forward should maintain its own separate queue,
and provides poll callback function for VNET.

add debug configure option for virtual serial

added missed while (0) in MACRO definition

Fix virtual serial to use stream backend access

added virtio console, finished the stream interface implementation, added v3_stream user utility

added O_RDWR flag to console file descriptor to allow keyboard input

added basic caching MTRR extension.

added memory unhooking error checking to fix CGA deinit crash

palacios_alloc() patch

cleaned up VM run states and added pause state

Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu//home/palacios/palacios into devel

fixed missing EFER SVME bug

keyed streams update:  optional support for tagged saves and loads

This changes the save/load macros in the following way:

- STD_SAVE_RAW / STD_LOAD_RAW perform like the old STD_SAVE/STD_LOAD macros (raw format)
  These place data in the stream like [data]
- STD_SAVE_TAGGED / STD_LOAD_TAGGED write data tagged with a separator, a tag, and a size
  These place data in the stream like [cookie] [taglen] [tag] [datalen] [data]
- STD_SAVE / STD_LOAD either use the raw or tagged approach depending the setting
  of the new V3_CONFIG_KEYED_STREAMS_WITH_TAGS option (off by default)

added barrier synchronization and integrated it with pause/continue functionality

VMX bug fix - get EPT capabilities only if EPT is supported on the machine

User-space keyed stream functionality (wrapper, example, file-based impl)

Cleanups and bug fixing for user-space keyed stream support

Initial integration and reimplementation of user-space interface for keyed streams

Rewrite and integration by Peter Dinda <pdinda@northwestern.edu>

Preallocation in keyed stream interface + bug fixes

- Now correctly allocates space for keys as well as values

Extended keyed stream interface to include preallocation

Keyed stream updates - creation of directories and general cleanup

Added file stream functionality to keyed stream interface

VMX 64-bit guest support. Add exit handling for CR4 and EFER accesses.

alignment format fix

clean/revert copyright header

Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

add v3vee copyright info

clean up stream implementation

NVRAM fixes: corrections in memory setup for tiny (<16MB VMs)
Additionally, reads of unset registers now do not produce hard stops

Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Fix bug setting bits in MSR bitmap for MSRs >= 0xC0000000
This fix allows EFER (MSR 0xC0000080) to be hooked successfully.

moved software interrupt injection to core interrupt code

moved PrintErrors to PrintDebugs with special compilation option for mem lookups and translations

changed Makefile for syscall extension

added extension for syscall interception

moved syscall reference to header file

small fixes in Kconfig, cleaned up debugs in swint intercept code

added extension code for software interrupts

fixed paren in Makefile

added code in vmm_intr.c to detect posted swint

added swintr support to update_irq_entry_state

added interrupt state for swints

moved syscall lookup functions to static funcs in ext_syscall_hijack.c

Changes for software interrupt extension code

Added code to register the extension. Also added an interface header file.
Added a case statement for exits on software interrupts in svm_handler.c. Also included
a compilation option for enabling swintr-specific debugging.

Makefile now only includes swintr stuff. Temporarily removed MSR-related stuff from Kconfig

added extension file specifically for software interrupt interception

removed old extension files

matched extension file-naming conditions, changed a few ifdefs to match config files

isolated syscall config options to extensions

applied syscall patch

Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

change max MTU that supported by VNET to 64K Bytes

Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Software interrupt decoder support

Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

reverted syscall changes

Commented test code for exec hooking, etc

added missing extension files

fix merge

minor changes to organization

format fix

stupid syntax breakage fix

Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu//home/palacios/palacios into devel

removed MASK_DISPLACEMENT from decoding, since it seems like it was wrong

Fix dumb error on svm commit

Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Conflicts:

palacios/src/palacios/svm.c

SVM wbinvd handler change to assure correct assembly

Enhanced error printing on SVM error

Added temporary debugging support for host devices (osdebug hypercall)  THIS WILL BE REMOVED

Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

ported machine check to extension (w/ impl file)

Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

ported machine check to extension

Additional debugging output for atapi

Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu//home/palacios/palacios into devel

started to implement stream userspace interface

Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

add missed header file

Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

interface updates

Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

More timing cleanup

rename fix

module reorganization

Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

removed BKL acquisition from daemonization of kernel threads in linux module

In linux 2.6.39, the BKL has been completely removed so the lock_kernel calls no longer exist.
Also lock_kernel was not considered necessary, so removing it should be fine on earlier kernels.

Removed print in vmm_halt

Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

32 bit fixew

decoder fixes for REAL mode masking issues

Fixed binding error in graphics console for new extension interface

Revised host device support to work with new extension model and
startup ordering

User side of the host device now supports deferred rendezvous.
This also means it is possible to disconnect and reconnect
the user side.   The semantics for this with respect to synchronizing
palacios-side and user-side device state are undefined, however.

makefile cleanup

return type fix

Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Fix a bug in vnet when removing a route entry

moved vnet to extension framework