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 agoadded support for Intel EPT with(?) and without unrestricted guest support
Jack Lange [Fri, 29 Apr 2011 00:10:22 +0000]
added support for Intel EPT with(?) and without unrestricted guest support

13 years agoMerge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel
Jack Lange [Thu, 28 Apr 2011 04:47:15 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

13 years agocompile fix
Lei Xia [Thu, 28 Apr 2011 04:40:19 +0000]
compile fix

13 years agoMinor fix
Lei Xia [Thu, 28 Apr 2011 04:26:45 +0000]
Minor fix

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Lei Xia [Thu, 28 Apr 2011 04:12:48 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

13 years agoMultithread handling of VNET
Lei Xia [Thu, 28 Apr 2011 04:12:42 +0000]
Multithread handling of VNET
Debug Level output
Etc

13 years agoMerge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel
Jack Lange [Wed, 27 Apr 2011 16:55:40 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

13 years agovmx updates
Jack Lange [Wed, 27 Apr 2011 16:55:10 +0000]
vmx updates

13 years agoVGA enhancements for graphics writes and rendering
Peter Dinda [Wed, 27 Apr 2011 00:05:23 +0000]
VGA enhancements for graphics writes and rendering

   - now successfully renders vgatest
   - corrected handling of bit mask in mode 0/2/3 writes
   - corrected latch loading for chain4 reads
   - corrected expansion of SR bit (compiler bug workaround?)

13 years agoRemoved extraneous PrintError and replaced with PrintDebug
Peter Dinda [Tue, 26 Apr 2011 23:57:31 +0000]
Removed extraneous PrintError and replaced with PrintDebug

13 years agoRemoved extraneous debugging output
Peter Dinda [Tue, 26 Apr 2011 23:45:29 +0000]
Removed extraneous debugging output

13 years agoquited debugging output
Jack Lange [Tue, 26 Apr 2011 22:28:05 +0000]
quited debugging output

13 years agoMerge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel
Jack Lange [Tue, 26 Apr 2011 22:27:49 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

13 years agoupdated vmcs printing
Jack Lange [Tue, 26 Apr 2011 22:08:42 +0000]
updated vmcs printing

13 years agoupdated VMCS fields with latest entries.
Jack Lange [Tue, 26 Apr 2011 21:21:43 +0000]
updated VMCS fields with latest entries.

13 years agoinitial skeleton
Jack Lange [Tue, 26 Apr 2011 21:20:13 +0000]
initial skeleton

13 years agoInsert mptable even on single core guest if an apic exists
Peter Dinda [Tue, 26 Apr 2011 16:01:37 +0000]
Insert mptable even on single core guest if an apic exists
Do not allow multicore guests without an apic
Warn strenously if an apic exists but no ioapic exists

13 years agoreverted sleep interface
Jack Lange [Fri, 22 Apr 2011 23:23:59 +0000]
reverted sleep interface

13 years agoadded hardware info for VMX
Jack Lange [Thu, 21 Apr 2011 23:57:18 +0000]
added hardware info for VMX

13 years agovmx cleanup
Jack Lange [Thu, 21 Apr 2011 21:32:50 +0000]
vmx cleanup

13 years agoadded barrier lock stubs
Jack Lange [Thu, 21 Apr 2011 21:31:46 +0000]
added barrier lock stubs

13 years agofix interrupt masking bug
Jack Lange [Thu, 21 Apr 2011 20:11:08 +0000]
fix interrupt masking bug

13 years agofixed vmcs guest pointer check location
Jack Lange [Thu, 21 Apr 2011 19:18:54 +0000]
fixed vmcs guest pointer check location

13 years agoadded initial ept structures
Jack Lange [Thu, 21 Apr 2011 18:52:32 +0000]
added initial ept structures

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Lei Xia [Thu, 21 Apr 2011 14:41:01 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Conflicts:

palacios/src/devices/nvram.c

13 years agoadd thread sleep and wakeup to host os hooks
Lei Xia [Thu, 21 Apr 2011 14:34:48 +0000]
add thread sleep and wakeup to host os hooks

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 agoFix to the time period calculation
Lei Xia [Thu, 14 Apr 2011 17:20:34 +0000]
Fix to the time period calculation

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