Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Peter Dinda [Wed, 20 Apr 2011 23:51:19 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

13 years agoadded null build file
Jack Lange [Wed, 20 Apr 2011 23:50:37 +0000]
added null build file

13 years agoMore interfaces changes for host devices + tweak to pci_front device to match
Peter Dinda [Wed, 20 Apr 2011 23:30:08 +0000]
More interfaces changes for host devices + tweak to pci_front device to match

13 years agoqueue updates
Jack Lange [Wed, 20 Apr 2011 03:20:49 +0000]
queue updates

13 years agoremoved muxer
Jack Lange [Wed, 20 Apr 2011 03:07:10 +0000]
removed muxer

13 years agoMerge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel
Jack Lange [Wed, 20 Apr 2011 02:32:46 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

13 years agoadded extension core init
Jack Lange [Wed, 20 Apr 2011 02:32:22 +0000]
added extension core init

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Peter Dinda [Wed, 20 Apr 2011 01:20:43 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

13 years agoUpdate to host device interface plus changes to affected devices
Peter Dinda [Wed, 20 Apr 2011 01:20:34 +0000]
Update to host device interface plus changes to affected devices

13 years agodisable XSETBV, etc instructions for hardware compatibility
Jack Lange [Wed, 13 Apr 2011 05:29:23 +0000]
disable XSETBV, etc instructions for hardware compatibility

13 years agoadded cpuid masking
Jack Lange [Tue, 19 Apr 2011 22:06:51 +0000]
added cpuid masking

13 years agoadded error message
Jack Lange [Tue, 19 Apr 2011 22:05:01 +0000]
added error message

13 years agoadded extension framework with initial inspector extension
Jack Lange [Tue, 19 Apr 2011 22:02:17 +0000]
added extension framework with initial inspector extension

13 years agoremove yielding print statement
Jack Lange [Wed, 13 Apr 2011 17:34:57 +0000]
remove yielding print statement

13 years agomask out v8086 mode of flags register
Jack Lange [Wed, 13 Apr 2011 20:24:08 +0000]
mask out v8086 mode of flags register

13 years agoAdded PCI front-end device implementation
Peter Dinda [Mon, 18 Apr 2011 22:47:52 +0000]
Added PCI front-end device implementation

The purpose of this device is to allow one to project
a virtual PCI device that is implemented in the host into the guest

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Peter Dinda [Mon, 18 Apr 2011 22:24:06 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

13 years agogeneric device updates: corrected deallocation, improved debugging output
Peter Dinda [Mon, 18 Apr 2011 22:23:47 +0000]
generic device updates: corrected deallocation, improved debugging output

13 years agopath fixes
Jack Lange [Fri, 15 Apr 2011 21:10:30 +0000]
path fixes

13 years agoadded debugfs linux files
Jack Lange [Fri, 15 Apr 2011 21:07:38 +0000]
added debugfs linux files

13 years agoVGA graphics rendering, attribute palette handling, corrected attribute processing
Peter Dinda [Fri, 15 Apr 2011 01:07:59 +0000]
VGA graphics rendering, attribute palette handling, corrected attribute processing

This commit includes:

   - Implementation of graphics mode rendering
   - Corrected color handling for graphics and text modes (16 color)
       (2 stage color lookup via attribute palette THEN DAC palette)
   - Work around for probable gcc bug to correctly
     process attributes in text mode (this fixes occasional flashing display)

13 years agoCorrected RTC timer bug (nvram)
Peter Dinda [Fri, 15 Apr 2011 01:04:24 +0000]
Corrected RTC timer bug (nvram)

13 years agoGeneric device now supports host device interface (and memory hooks)
Peter Dinda [Thu, 14 Apr 2011 18:56:46 +0000]
Generic device now supports host device interface (and memory hooks)

13 years agoImplementation of the host device interface + interface cleanup
Peter Dinda [Thu, 14 Apr 2011 17:01:12 +0000]
Implementation of the host device interface + interface cleanup

13 years agoFix to the interface header files include
Lei Xia [Wed, 13 Apr 2011 16:48:09 +0000]
Fix to the interface header files include

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Lei Xia [Wed, 13 Apr 2011 16:15:16 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

13 years agoFix to VMM/Guest model dynamic switch for Virtio NIC
Lei Xia [Wed, 13 Apr 2011 16:12:10 +0000]
Fix to VMM/Guest model dynamic switch for Virtio NIC

13 years agoVGA Updates
Peter Dinda [Wed, 13 Apr 2011 00:28:36 +0000]
VGA Updates

    - Text-mode rendering completed and function
      (you can now view and control your VM with VNC in the Linux (old) embedding)

    - Support for chain4 read mode added

    - Support for even/odd addressing in writes added

13 years agoAdded host device interface
Peter Dinda [Tue, 12 Apr 2011 15:08:24 +0000]
Added host device interface

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Peter Dinda [Tue, 12 Apr 2011 14:46:05 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

13 years agoDebug output added (map draws)
Peter Dinda [Tue, 12 Apr 2011 14:45:56 +0000]
Debug output added (map draws)

13 years agobuild fixes
Jack Lange [Tue, 12 Apr 2011 06:59:32 +0000]
build fixes

13 years agofixed up include directories for new interfaces locations
Jack Lange [Tue, 12 Apr 2011 04:19:29 +0000]
fixed up include directories for new interfaces locations

13 years agomoved host OS interfaces to a separate directory palacios/src/interfaces and palacios...
Jack Lange [Tue, 12 Apr 2011 04:12:44 +0000]
moved host OS interfaces to a separate directory palacios/src/interfaces and palacios/include/interfaces

13 years agoAdd dynamic VMM Driven/Guest Driven mode switch in VNET devices
Lei Xia [Tue, 12 Apr 2011 02:56:09 +0000]
Add dynamic VMM Driven/Guest Driven mode switch in VNET devices

13 years agoclear instruction to 0 before decoding with xed
Jack Lange [Tue, 12 Apr 2011 00:47:14 +0000]
clear instruction to 0 before decoding with xed

13 years agoused the proper api for operand access checks, and moved after operand decoding
Jack Lange [Tue, 12 Apr 2011 00:38:47 +0000]
used the proper api for operand access checks, and moved after operand decoding

13 years agoadded debugging for operand mode
Jack Lange [Tue, 12 Apr 2011 00:03:01 +0000]
added debugging for operand mode

13 years agonother shot at movsx/movzx
Jack Lange [Mon, 11 Apr 2011 23:52:47 +0000]
nother shot at movsx/movzx

13 years agobug fixes
Jack Lange [Mon, 11 Apr 2011 23:25:11 +0000]
bug fixes

13 years agoadded movsx/movzx decoding to internal decoder
Jack Lange [Mon, 11 Apr 2011 21:23:50 +0000]
added movsx/movzx decoding to internal decoder

13 years agoBug fixes to memory hooks
Peter Dinda [Mon, 11 Apr 2011 20:19:42 +0000]
Bug fixes to memory hooks

These will likely only have affected the memory->memory operations
with two different regions

13 years agoadded print message for STOS debugging
Jack Lange [Mon, 11 Apr 2011 02:57:55 +0000]
added print message for STOS debugging

13 years agofix misplaced bracket
Jack Lange [Mon, 11 Apr 2011 01:24:52 +0000]
fix misplaced bracket

13 years agoremove ioctl interface to initiate network service
Lei Xia [Sat, 9 Apr 2011 04:08:28 +0000]
remove ioctl interface to initiate network service

13 years agoadd proc log interface for VNET to get VNET statistic information
Lei Xia [Sat, 9 Apr 2011 04:05:27 +0000]
add proc log interface for VNET to get VNET statistic information

13 years agouser space VM inspection works for GPRs, RIP, CTRL REGS
Jack Lange [Fri, 8 Apr 2011 20:01:54 +0000]
user space VM inspection works for GPRs, RIP, CTRL REGS

13 years agoadded inspection framework
Jack Lange [Fri, 8 Apr 2011 18:17:28 +0000]
added inspection framework

13 years agobuild fix and configuration cleanup
Jack Lange [Fri, 8 Apr 2011 18:16:47 +0000]
build fix and configuration cleanup

13 years agoForgotten part of earlier commit...
Peter Dinda [Thu, 7 Apr 2011 23:28:06 +0000]
Forgotten part of earlier commit...

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Peter Dinda [Thu, 7 Apr 2011 23:02:49 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

13 years agoFixed interface error in keyed streams and build error
Peter Dinda [Thu, 7 Apr 2011 23:02:34 +0000]
Fixed interface error in keyed streams and build error

13 years agoTypo fix
Lei Xia [Thu, 7 Apr 2011 22:41:21 +0000]
Typo fix

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Lei Xia [Thu, 7 Apr 2011 22:34:10 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

13 years agoForce Linux backend to allocate memory pages from lower address
Lei Xia [Thu, 7 Apr 2011 22:31:06 +0000]
Force Linux backend to allocate memory pages from lower address

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Peter Dinda [Thu, 7 Apr 2011 21:13:50 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

13 years agoAdded checkpoint and restore support for 8254 (PIT)
Peter Dinda [Thu, 7 Apr 2011 21:13:40 +0000]
Added checkpoint and restore support for 8254 (PIT)

13 years agoAdded interface for device checkpoint and restore
Peter Dinda [Thu, 7 Apr 2011 21:13:15 +0000]
Added interface for device checkpoint and restore

13 years agoAdded host keyed stream support
Peter Dinda [Thu, 7 Apr 2011 21:11:59 +0000]
Added host keyed stream support

13 years agofixed missed debug macro
Jack Lange [Thu, 7 Apr 2011 16:10:58 +0000]
fixed missed debug macro

13 years agoMerge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel
Jack Lange [Thu, 7 Apr 2011 16:08:13 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

13 years agoadded debug configuration option for decoding framework
Jack Lange [Thu, 7 Apr 2011 16:08:06 +0000]
added debug configuration option for decoding framework

13 years agoremove redundant data structure files
Lei Xia [Wed, 6 Apr 2011 22:18:05 +0000]
remove redundant data structure files

13 years agorm data structure files redudancy
Lei Xia [Wed, 6 Apr 2011 21:38:08 +0000]
rm data structure files redudancy

13 years agoadd conditional build to module Makefile
Lei Xia [Wed, 6 Apr 2011 19:57:28 +0000]
add conditional build to module Makefile

13 years agomerge VNET Linux backend code into Linux module directory
Lei Xia [Wed, 6 Apr 2011 19:47:31 +0000]
merge VNET Linux backend code into Linux module directory

13 years agoMerge VNET Linux backend code to Linux_module directory
Lei Xia [Wed, 6 Apr 2011 19:09:04 +0000]
Merge VNET Linux backend code to Linux_module directory

13 years agocleaned up the emulation code to be more general
Jack Lange [Wed, 6 Apr 2011 18:15:06 +0000]
cleaned up the emulation code to be more general

13 years agoUpdated VGA to support the graphics console host interface
Peter Dinda [Tue, 5 Apr 2011 00:01:29 +0000]
Updated VGA to support the graphics console host interface
   - Currently it just renders something visual to it

13 years agoAdded graphics console host interface
Peter Dinda [Tue, 5 Apr 2011 00:00:28 +0000]
Added graphics console host interface

13 years agoModified v3_mem to automatically scan for contiguous memory blocks.
Jack Lange [Sat, 2 Apr 2011 04:54:41 +0000]
Modified v3_mem to automatically scan for contiguous memory blocks.
Once a large enough region is located, it is offlined and passed directly to Palacios.

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Peter Dinda [Fri, 1 Apr 2011 16:40:14 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

13 years agoVGA: Correct handling of word writes on address registers for passthrough.
Peter Dinda [Fri, 1 Apr 2011 16:40:04 +0000]
VGA: Correct handling of word writes on address registers for passthrough.

outw X, data where X is a VGA address register is theoretically a shortcut for:

outb X, data.lsb
outb X+1, data.msb

However, the broader semantics appear to be different.   This update preserves outws all the way
down to the passthrough device (if used).

13 years agoMinor Fix to VMX code
Lei Xia [Fri, 1 Apr 2011 14:26:01 +0000]
Minor Fix to VMX code
Now Palacios+Kitten works again on VT machine

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Lei Xia [Wed, 30 Mar 2011 00:25:17 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

13 years agofix the VMCS invalid field error when read VMCS_GUEST_EFER
Lei Xia [Wed, 30 Mar 2011 00:25:11 +0000]
fix the VMCS invalid field error when read VMCS_GUEST_EFER

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Peter Dinda [Tue, 29 Mar 2011 22:28:24 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

13 years agoFurther enhancement of string op emulation for full hooked regions
Peter Dinda [Tue, 29 Mar 2011 22:28:09 +0000]
Further enhancement of string op emulation for full hooked regions

13 years agoVGA: fixed dodgy passthrough support
Peter Dinda [Tue, 29 Mar 2011 22:26:00 +0000]
VGA: fixed dodgy passthrough support
Also added passthrough mirroring checks to facilitate debugging

13 years agoChanged semantics of guest page table drilling
Peter Dinda [Tue, 29 Mar 2011 22:23:36 +0000]
Changed semantics of guest page table drilling
Now a drill that terminates in guest data page that is not backed by
physical memory does not fail.  Instead, the relevant hva will be
returned as zero.   This change is needed to support some new lookups,
like gva_to_gpa where the gpa is in the middle of a full hook region

The previous semantics (fail when the above occurs) does not appear
to be used anywhere, so this change should not be consequential.

13 years agoAdded global function for searching for memory hooks
Peter Dinda [Tue, 29 Mar 2011 22:19:38 +0000]
Added global function for searching for memory hooks

13 years agoMerge branch 'devel' of ssh://newskysaw.cs.northwestern.edu//home/palacios/palacios...
Jack Lange [Tue, 29 Mar 2011 02:36:43 +0000]
Merge branch 'devel' of ssh://newskysaw.cs.northwestern.edu//home/palacios/palacios into devel

13 years agomodified menuconfig to support Mac OSX
Jack Lange [Tue, 29 Mar 2011 02:36:11 +0000]
modified menuconfig to support Mac OSX

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Peter Dinda [Fri, 25 Mar 2011 23:36:34 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

13 years agoBasic support for printing real mode stacks
Peter Dinda [Fri, 25 Mar 2011 23:35:58 +0000]
Basic support for printing real mode stacks

13 years agoSupport for full memory hooks with string instructions
Peter Dinda [Fri, 25 Mar 2011 23:35:37 +0000]
Support for full memory hooks with string instructions

13 years agoadded needed header file
Jack Lange [Fri, 18 Mar 2011 22:26:07 +0000]
added needed header file

13 years agomore linux changes
Jack Lange [Fri, 18 Mar 2011 20:42:33 +0000]
more linux changes

13 years agoupdated module cleanup and added user space tools
Jack Lange [Fri, 18 Mar 2011 19:57:06 +0000]
updated module cleanup and added user space tools

13 years agolinux build fix and deinitialization fix
Jack Lange [Fri, 18 Mar 2011 18:25:52 +0000]
linux build fix and deinitialization fix

13 years agomore linux build tweeks
Jack Lange [Fri, 18 Mar 2011 18:22:53 +0000]
more linux build tweeks

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Peter Dinda [Thu, 17 Mar 2011 00:15:20 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

13 years agoVGA: Corrected memory offseting calculations
Peter Dinda [Thu, 17 Mar 2011 00:15:11 +0000]
VGA: Corrected memory offseting calculations
VGA: Added 2 byte write support (VGA protocol for
     2 byte writes to index registers is that the second
     byte should be interpreted as being directed
     at the data register associated with the index register)

13 years agofixed linux_module dependency tracking
Jack Lange [Wed, 16 Mar 2011 00:53:29 +0000]
fixed linux_module dependency tracking

13 years agoSet appropriate Linux Kconfig defaults
Jack Lange [Wed, 16 Mar 2011 00:28:39 +0000]
Set appropriate Linux Kconfig defaults

13 years agoreworked build system to automatically compile Linux kernel module when selected...
Jack Lange [Wed, 16 Mar 2011 00:11:45 +0000]
reworked build system to automatically compile Linux kernel module when selected as the target OS

13 years agominor alignment change
Jack Lange [Wed, 16 Mar 2011 00:11:20 +0000]
minor alignment change

13 years agoadded 64 bit operand support
Jack Lange [Tue, 15 Mar 2011 23:05:54 +0000]
added 64 bit operand support

13 years agoadded checks for 64 bit operand decoding
Jack Lange [Tue, 15 Mar 2011 22:11:47 +0000]
added checks for 64 bit operand decoding

13 years agoVGA: graphics controller implementation (mem read/write)
Peter Dinda [Tue, 15 Mar 2011 20:48:40 +0000]
VGA:  graphics controller implementation (mem read/write)
VGA:  passthrough added