Palacios Release 1.3 Changes

Compared to the 1.2 release, Palacios 1.3 adds support for the
following features:

* Significantly improved multi-core support
    - Multi-core guests are now supported
    - Guest virtual machines can be migrated across host cores
    - Multiple virtual guest cores on a single physical core

* Linux host support
    - Palacios implementation as a standard loadable kernel module
    - Linux user tools to create, launch, stop, free, 
      and move virtual machines
    - Support for streaming guest serial ports and virtio consoles
      to the Linux host
    - Support for virtual devices implemented in the Linux host
      or as userspace processes running in Linux host
    - Compatability with Fedora 15 and Red Hat 6

* Virtual networking (VNET) support
    - Bridging virtual machines to an underlying physical 
      ethernet network
    - Bridging virtual machines to the VNET ethernet overlay network

* Basic checkpoint/restart support

* Various performance optimizations
    - Internal instruction decoder
    - Enhanced instruction emulator
    - Intel EPT nested page table support
    - Improved performance for guests that use large pages

* Extension model to support extensions to the core VMM

* Assorted additional devices
    - VGA graphics with VNC backend
    - Virtio console with userspace backend
    - PCI and generic front-end