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

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

Fixed cluster/fixed dst_fmt usage in apic.c; revised default.xml for new APIC change

minor fixes. Can now successfully boot up when Qemu rarely exposes a plausible TSC rate.

compilation fixes

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

Conflicts:

palacios/src/devices/apic.c

fixed apic/ioapic interface

Modifications to make apic.c compile with PrintDebug on. io_apic/apic interactions are still currently broken.

added final ipi_state transition

more multicore fixes

minor clean up fixes and debugging

Fixed a truly stupid mistake....

remove icc_bus references

removed icc bus

Removed a lot of the highly specific multicore code from the general core VMM code

The ICC BUS is broken because it still hasn't been merged into the APIC

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

added private data pointer to per vm state...

This is going to break the host interface.

Merge branch 'devel' into timer_control

Minor changes to debugging, change to Makefile to support building TAGS files, added initial support for INIT/SIPI modes to vmx.c but multicore VMX still not yet working

geekos test kernel build fixes

More minor fixes on time keeping. VMM clock now appears to be essentially accurate to real time on QEMU

some fixes to caching, still segfaults at the init process

More minor updates for handling time. Virtually slower CPUs seem to be working, so that in a core, you can specify khz="1000000" and the VMM will slow down that particular core by yielding the CPU back to the host when necessary. Still need to test/debug on real hardware as opposed to QEMU.

Attempts to support virutally slower processors - broken!

Minor cleanups on time handling.

initial shadow page cache version

Merge branch 'devel' into timer_control

Minor compile fix.

Fixed merge of apic.c

More updates getting basic version of time handling working.

remove debugging

large page changes

Still working on timer updates, heading towards being able to have a CPU
running at a different frequency than a host CPU.

Removed destination format (i.e. clustered logical vs. flat logical)
information from the io_apic since it doesn't know that. The hardware
spec requires that the guest program all apics on the ICC bus into consistent
format mode, either all clustered or all flat, and the irq routing destination
in the io-apic consistently with that, but the io-apic doesn't actually know
if the destination is flat or clustered.

Fixed ioapic bug that caused interrupt routing entries to be stored incorrectly and interrupts to be dispatched incorrectly in some modes

Remove the old vnet header file from include/device

32 bit compatibility fix

v3_start_guest now exhibits the former behavior when
configured for linux - namely the current thread becomes the BP
and thus v3_start_guest blocks

Added more error checking from on what is returned by ezXML to not generate image for incomplete parse.

filedisk fixes

linux fixes

config fix

Fixed bug in v3_cfg_val where it would not return null if a child named *tag does not exist.
Filedisk now accepts a mode from the config file.

Conflicts:

palacios/src/devices/filedisk.c

Functional file backend

Conflicts:

palacios/src/devices/filedisk.c

removed redundant FILE option

Conflicts:

Kconfig

disabled serial port debugging

Implemented all and all-but-me shorthand delivery for IPIs
where the logical destination mode is specified

removed virtual wire mode

this will probably be a disaster...

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

Conflicts:
palacios/src/devices/icc_bus.c

format fix

some format fixes

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

Fixed minor syntax error

fix for Linux rule breaking behavior

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

Conflicts:

palacios/include/palacios/vm_guest.h
palacios/src/devices/apic.c
palacios/src/devices/io_apic.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_direct_paging_64.h
palacios/src/palacios/vmm_mem.c
utils/guest_creator/default.xml

format fixes

minor header file reordering for clarity

Time configuration parameters added. More time control code prototyped,
but no robust control in place yet.

Added initialization of yield_start_cycle to start_time()

MOre minor fixes

Partially functional support for APIC/ICC clustered delivery,
both physical and logical, needed for Linux with >2 cores.

Note that there is still a bug here somewhere - Linux >2 cores will
eventually die with an attempted physical delivery outside of the
available cores

format fixes

mark APIC/IO-APIC/ICC bus as experimental features and removed them from the default configuration file

added option for secure symbiotic modules to symspy

Patch from kevin fixing typo in default.xml

Initial testing of new time handling on VMX, initial implementation of new
time handling on SVM.

Implemented (but not yet tested) time interface changes for consistency
and, more importantly, and to control vmx offseting of TSC appropriately.

Fixed bug in io_apic.c where use of id_reg->val instead of id_reg->id caused
programming of the virtual IOAPIC ID to go awry when Linux had non-zero
bits in the reserved bits of the register.

Minor warning/error prints corrected.

Enabled channel 2 in 8254.c, added basic speaker I/O port support for
polling the 8254 channel 2 countdown timer. Allows Linux to calibrate TSC
correctly on real hardware.

Removed spurious PrintError for red storm from apic.c, fixed large page
syntax in default.xml

change to device configuration syntax

Added support for using large shadow pages with 32-bit 4MB page table entries

Actually fixed page alignment computation to be correct, moved into vmm_mem.h for use with 4MB pages, too.

Added robust physical alignment check

Changes to support large shadow pages *correctly*.

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

Minor configuration fix for large page->large page fix.

Changed to using strcasecmp to avoid adding library dependencies

Added initial cut at support with using large pages in shadow
page tables to back large pages in the guest, assuming the
guest memory is appropraitely aligned.

enable Alex's large page support

this is a fix for the get_next_region function.

Added alignment of memory as a top-level VM parameter to ease use of 2MB
shadow pages under 2MB guest pages.

added framework for large page support...

attribution fix

fix to svm outs default segment register bug

updated Linux host defaults

added file disk implementation

Integrated vmm_file and filedisk - now compiles

File support added (interface to file support in host)

Conflicts:

Kconfig

actually add the filedisk implementation

added host OS file support configuration option

minor fix

added framework for large page support...

added per core flags to guest structure
currently large page support is the only enabled flag...

added memory alignment option to vmm memory mangement initialization and allocation

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

Functional 2 core linux guest

Main addition is logical destination mode for IPIs

added configurable host features to Palacios configuration

added new vmm_mem function to find next memory region

update to the host OS interface to allow aligned page allocations