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 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 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

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

13 years agoVGA state, i/o hooks, mem hook implemented
Peter Dinda [Tue, 15 Mar 2011 00:26:52 +0000]
VGA state, i/o hooks, mem hook implemented

13 years agoThis patch fixes a compiler warning for me (compiling on 32-bits).
Erik van der Kouwe [Sat, 12 Mar 2011 07:46:34 +0000]
This patch fixes a compiler warning for me (compiling on 32-bits).

13 years agoThis patch prevents v3_delete_mem_region from freeing memory when it still needs...
Erik van der Kouwe [Sat, 12 Mar 2011 07:45:11 +0000]
This patch prevents v3_delete_mem_region from freeing memory when it still needs to be read.

13 years agoWindows XP uses the "get irq routing options" PCIBIOS function early in boot. This...
Erik van der Kouwe [Sat, 12 Mar 2011 07:43:40 +0000]
Windows XP uses the "get irq routing options" PCIBIOS function early in boot. This patch add it. the code is taken from the BOCHS BIOS, where it has been implemented after this version of the BIOS was taken for Palacios.

13 years agoformat fix
Jack Lange [Sat, 12 Mar 2011 07:29:32 +0000]
format fix

13 years agomoved linux module to main Palacios tree
Jack Lange [Thu, 10 Mar 2011 19:28:33 +0000]
moved linux module to main Palacios tree

13 years agoadded initial 64 bit decoding support
Jack Lange [Thu, 10 Mar 2011 18:37:32 +0000]
added initial 64 bit decoding support

13 years agoVGA: added internal state structure and comments on operation
Peter Dinda [Thu, 10 Mar 2011 17:56:51 +0000]
VGA: added internal state structure and comments on operation

13 years agoAdded stub for VGA implementation and detailed VGA register struct defs
Peter Dinda [Thu, 10 Mar 2011 16:59:55 +0000]
Added stub for VGA implementation and detailed VGA register struct defs

13 years agoMore nvram cleanup
Peter Dinda [Thu, 10 Mar 2011 16:34:40 +0000]
More nvram cleanup

13 years agoImplemented PASSTHROUGH and IGNORE (without printing)
Peter Dinda [Thu, 10 Mar 2011 00:38:34 +0000]
Implemented PASSTHROUGH and IGNORE (without printing)

13 years agoConverted NVRAM RTC to use timers instead of the host timer event
Peter Dinda [Thu, 10 Mar 2011 00:37:24 +0000]
Converted NVRAM RTC to use timers instead of the host timer event

13 years agointernal decoders works enough to boot a 32 bit linux guest
Jack Lange [Wed, 9 Mar 2011 01:10:53 +0000]
internal decoders works enough to boot a 32 bit linux guest

13 years agomore decoder work
Jack Lange [Tue, 8 Mar 2011 22:31:39 +0000]
more decoder work

13 years agoadded null library files to fix linking
Jack Lange [Tue, 8 Mar 2011 03:01:20 +0000]
added null library files to fix linking

13 years agoadded segment offsets to memory operand calculations
Jack Lange [Tue, 8 Mar 2011 02:53:50 +0000]
added segment offsets to memory operand calculations

13 years agoMerge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel
Jack Lange [Tue, 8 Mar 2011 00:23:33 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

13 years agodecoder updates
Jack Lange [Tue, 8 Mar 2011 00:23:23 +0000]
decoder updates

13 years agoStart at support for multiple VMs per core on VMX systems. Minor compile fixup for...
Patrick G. Bridges [Mon, 7 Mar 2011 22:54:11 +0000]
Start at support for multiple VMs per core on VMX systems. Minor compile fixup for Xed as well

13 years agoMerge of changes from pull
Patrick G. Bridges [Sun, 6 Mar 2011 22:56:23 +0000]
Merge of changes from pull

13 years agoChanges to Kconfig.stdlibs that aren't actually changes so that git pull works
Patrick G. Bridges [Sun, 6 Mar 2011 22:55:00 +0000]
Changes to Kconfig.stdlibs that aren't actually changes so that git pull works

13 years agodecoder updates
Jack Lange [Sun, 6 Mar 2011 01:11:15 +0000]
decoder updates

13 years agofixed local core startup check
Jack Lange [Fri, 4 Mar 2011 22:28:02 +0000]
fixed local core startup check

13 years agoadded support for specifiying logical core targets for a guest configuration
Jack Lange [Fri, 4 Mar 2011 22:26:06 +0000]
added support for specifiying logical core targets for a guest configuration

13 years agoinitial checking of internal decoder
Jack Lange [Fri, 4 Mar 2011 22:05:14 +0000]
initial checking of internal decoder

13 years agoadded extension framework
Jack Lange [Thu, 3 Mar 2011 21:22:25 +0000]
added extension framework

13 years agov3_file_close asserts open rather than close
Erik van der Kouwe [Thu, 3 Mar 2011 18:08:36 +0000]
v3_file_close asserts open rather than close

13 years agofixed dest_apic determination
Jack Lange [Wed, 2 Mar 2011 22:55:32 +0000]
fixed dest_apic determination

13 years agoMerge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel
Jack Lange [Wed, 2 Mar 2011 22:21:39 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

Conflicts:

palacios/src/devices/apic.c

13 years agoupdates to make things more configurable
Jack Lange [Wed, 2 Mar 2011 22:14:24 +0000]
updates to make things more configurable

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Peter Dinda [Wed, 2 Mar 2011 21:46:24 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

13 years agoAdded correct physical delivery check for apic
Peter Dinda [Wed, 2 Mar 2011 21:46:11 +0000]
Added correct physical delivery check for apic
   delivery to apic X goes to apic whose currrent
   lapicid is X

13 years agoPrints last exit reason when handler fails
Peter Dinda [Wed, 2 Mar 2011 21:42:08 +0000]
Prints last exit reason when handler fails