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

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

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

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

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

moved host device to extension framework

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

Cleanup of time handling code

more extension ports

ported packet to extension framework and fixed type in socket interface

ported socket interface to extension framework

ported inspector to the extension framework

ported streams over to new extension framework

ported file interface to new extension framework

bug fixes for extension framework, and porting of console to new interface

reverted creation ordering

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

Conflicts:

linux_module/palacios-vm.c

added initial extension framework

Functional host device support in Linux kernel module for both busywait and select

- Changes VM startup ordering so that userspace devices can attach
- Fixes nasty race condition involving kmalloc that was killing busywait and sometimes select

format fix

Fix bug in virtio NIC

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

cosmetic changes

decoder fixes

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

typo fix

Added ability to hook execution of arbitrary binary files. Added ability to add arbitrary number of arg and env strings to a process environment. Reorganized syscall hijack stuff into new files

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

added safety checks to cpuid field registration

paramater type fix

fixed warnings on new GCC for xml libary laziness

removed obsolete telemetry fn

data type fixes

removed active_vmcs_ptrs array and read the active VMCS directly from hardware.

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

serialize VMCS after initialization

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

add dependency of virtio nic with vnet

build fix

updated SIPI behavior to be arch specific

modified the irq layout to match what is seen on actual hardware

fixed BCD/binary mode flag that was causing the cmos warnings on Linux boot

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

updated config dependencies

Resoved conflict on merge of 8254.c

Print revision to 8254.c

add missed file

add missed file