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

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

geekos test kernel build fixes

some fixes to caching, still segfaults at the init process

initial shadow page cache version

remove debugging

large page changes

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

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

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

removed unused addr_width field

format fixes

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

Now correctly boots 2, 4, 8 core kitten

Fixed issue with memory region search on even number of cores (>2)

Cleaning up debugging output throughout

Added CONFIG_DEBUG_VMX and CONFIG_DEBUG_SVM

Fixed handling of the INTAK cycle for both apic and pic
Now the apic will only note an interrupt is in service if
it actually originated it, similar to the pic.   I also
added debugging prints to both apic and pic to indicate
when they ignore such INTAK end-of-cycle

INTAK -> begin_irq on interrupt controllers

Semi-functional SMP (boots Kitten guest with two cores)

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

Final changes to paging configuration format. Nested and shadow paging
both verified to work.

Fixed nested paging to work again, minor change to configuration syntax of shadow and nested paging.
Updated default.xml appropriately.

Minor change to shadow paging to make sure it initializes unless nested
explicitly requested

Resolved Patrick's debug patches and the external irq work

Fixed stupid branch check, added more preconfig error checking

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

added code formatting utilities

added error checking to outs operation

Debugged changes to make shadow and nested paging configurable again.

Changed default.xml to have a setup for modern Linux/Kitten guests that
uses the icc_bus/ioapic correctly

Minor changes to make icc_bus.c compile without debugging on

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

Fixed up configuration support for nested/shadow paging

Implemented SMP, still not functional

Partially functional icc_bus (works for UP)
Works up to init for SMP

Working apic, ioapic, and icc_bus for 1 core
Working = "runs phil's image apparently correctly"

Working mptable support (Linux correctly recognizes 1,2,4,8,16,32 proc configs)

Partially functional Intel MP table support

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

added serial port hardware emulation

bug fix for Qemu EVENTINJ issue

readd large page flag

reverted CPU id patch

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