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

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

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

add console hook support

s patch fixes some issues I've had when compiling Palacios 32-bit.

This patch fixes several issues with the console/cga code:
- Fixes some #includes
- Adds a missing prototype
- Adds a missing return
- Checks the length of screen updates to avoid sending updates for non-
visible memory regions

This patch changes the comment format (// to /* ... */) in some header
files, allowing them to be compiled with older versions of C.

bug fix for 32 bit ebp cloberring

bug fix for console scroll signedness issue

new copy of manual

updated comments for compiler compatibility

ported 32 bit VMX launch code for nested entries

Clear the profiling code

Add lock to vmm_queue
Update VNET and virtio NIC to support multiple guests

Fix a virtio ring buffer free run index overflow bug

Fix interrupt injection bug due to caching irq vectors after vector mappings have changed
back port of irq fix

Intel VMX ASM fixes

KBuild fixes to set defaults for Kitten

Made these manuals top level for relase

A bit of cleanup

Updated manual for release - now ready from Palacios perspective

Updated Kconfigs to a reasonable default, appropriate to default guestos image
Added support in Makefile to immediately build guestos image and build_vm on make
Included simple guest iso and guest xml config

The result of this is that Palacios, compiled out of box and linked
with Kitten compiled OOB (+virtualization turned on) will correctly
work and boot a simple guest iso.   So now, it basically boils down to:

- download palacios
- download kitten
- make config palacios to get defaults
- make in palacios (libv3vee.a, guest_os.img, build_vm get created)
- make config kitten to get defaults,  turn on virtualization
- make isoimage

Now you have a ready to go kitten+palacios+linux guest

Edited PXE boot manual

Phils updates to fix xml warnings and telemetry warnings (from devel->Release 1.2)

Edits of user manual and guest builder manual

Delete outdated vnet files in devices/

removed unused devices

added back in 32 bit support

removed ne2k

made virtio nic an experimental feature

Add Vnet Configure

Update on Vnet and Virtio Nic

Add Kitten booting from PXE manual

Updated manual pulled from devel branch
Includes external repo, gitweb, and the Generic device

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

Bug fixed

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

added symbiotic config requirement to passthrough PCI

Updated developers manual

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

added disk model something or other

Applied patch

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

Minor fix on vnet

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

Includes Phil's patches to the guest build environment document

Minor fixes for printf format

added cache disk based symswap

lots of fixes

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

build fix

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

Minor fix

Fixed bug with VMX interrupt injection
added an exit log for debugging

Improved tex document structure.

Modified titles and some wording for verbal parallelism.
Added clarification text in a few places.

stability fixes

Minor change for debug

Add guest build manual

small fix

formatting fixes

formatting changes

debugging tweaks and minor fixes

moved network backend/frontend registration to correct location

Restructure of Vnet

Virtio Net device update

a few fixs

Update on the virtio net

added debugging

reduced debugging messages

removed vmcs accesses from io handler

minor changes

made the configuration builder interface a little more informative

device fixes for bugs introduced with new configuration system

added debugging

added test hypercall for debugging guest hypercall support

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

major VMX update
ported to new configuration system
reworked to allow nested entries

delete lnx_virtio_nic.h

Fix the config

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

Add virtio config option

Add Virtio Network device and add virio_net config option

documentation changes

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

generic device changes

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

integrated new configuration system

added default PC configuration file

various changes...

removed kconfig template filE

added user space configuration build system

removed deprecated build tools

change pci devices to be more generic.
added support for multiple linux virtio block device

interface updates

added xml parser for configuration

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

Add vnet experimental option to config

Move vnet code to src/palacios

Move vnet to src/palacios/

moved palacios.png to misc directory

more updates