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

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

some renaming

minor fix

updated stream device

updated serial device

added char device operations to device manager

updated stream API

updated file interface

merge fix and changed file interface

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

Conflicts:

palacios/include/palacios/vmm.h

reworked the launch code

reworked launch code

clean up on VNET code

remove the reparant_threadd function from host os hooks

fix

removed reparent callback

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

Conflicts:

palacios/include/palacios/vmm.h
palacios/src/devices/serial.c

virtual console works with stream-serial implementation
add reparent_threadd os hooks, In Linux host, every kernel thread created in Palacios
has to call reparent_threadd to detach itself from the user process.

added configurable host OS thread support

added run state checks to the vm run loops to allow stopping of VMs

added user space symbol inclusion to Kconfig

wrapped decoder address check in shadow paging check

fix 32 bit vmx entry to match i386/gcc calling conventions

This patch contains various small fixes. Some are MINIX-specific, some are general.

added v3_stop_vm prototype and exported it to the host OS interface

added framework for stopping guest execution

Replaces C++-style comments (// ...) with C-style comments (/* ... */) in header files that I need to use in MINIX. I need this because MINIX uses an older C standard.

fixed write hook tmp page for ANY_CORE hooked pages

minor fix on reference of v3_init_vnet

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

Conflicts:

palacios/src/devices/serial.c
palacios/src/devices/stream.c

add stream-serial device interface

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

Fixed minor bug with computing memory size due to type conversion.

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

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

Conflicts:

palacios/src/palacios/vmm.c

stream implementation and interface between searial device and stream
incomplete yet

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

Conflicts:

palacios/src/palacios/vmm.c

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

Implementation of stream device backend, interface to host os
and partial implementation of interface to serial front end

Reverted v3_start_guest to launch thread for BP on all platforms

Open issue: how to make stream backend generally attachable to frontends that can support streams

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

32 bit compatibility fix

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

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

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

All updates on the VNET during summer
add VMM-mode/Guest-mode support of VNET/P
some kind of flow-control in VNET/P (not quite sure if it is working)
VNET/P running on multicore
Not tested with current devel branch

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