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.


14 years agoMerge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel
Jack Lange [Tue, 17 May 2011 15:40:55 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

14 years agoconfig fix
Jack Lange [Tue, 17 May 2011 15:40:09 +0000]
config fix

14 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Peter Dinda [Tue, 17 May 2011 00:11:05 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

14 years agoUpdated kernel module and user tools to reflect ioctl changes for host devices
Peter Dinda [Tue, 17 May 2011 00:10:33 +0000]
Updated kernel module and user tools to reflect ioctl changes for host devices

14 years agoadded irq queueing to APIC
Jack Lange [Mon, 16 May 2011 22:31:54 +0000]
added irq queueing to APIC

15 years agomissed file commit
Lei Xia [Fri, 6 May 2011 02:59:55 +0000]
missed file commit

15 years agofix for the guest_info cpu_id -> pcpu_id
Lei Xia [Fri, 6 May 2011 02:55:48 +0000]
fix for the guest_info cpu_id -> pcpu_id

15 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Lei Xia [Fri, 6 May 2011 02:50:06 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Conflicts:

palacios/src/vnet/Makefile

15 years agoAdded implementation of VNET host hook functions
Lei Xia [Fri, 6 May 2011 02:47:56 +0000]
Added implementation of VNET host hook functions
moved updated VNET bridge code to Linux module directory

15 years agoformat fix
Lei Xia [Fri, 6 May 2011 01:58:32 +0000]
format fix

15 years agomore fix on VNET
Lei Xia [Thu, 5 May 2011 23:48:57 +0000]
more fix on VNET

15 years agoformat fix
Lei Xia [Thu, 5 May 2011 22:31:19 +0000]
format fix

15 years agoSeparate VNET from Palacios, add its own host_hooks for interfaces from host OS for...
Lei Xia [Thu, 5 May 2011 22:06:36 +0000]
Separate VNET from Palacios, add its own host_hooks for interfaces from host OS for VNET
instead of using OS_hooks in Palacios. Now VNET almost
need very few support from Palacios (can be none)

15 years agoPorted user space support for host devices, user space host device example, and vnc...
Peter Dinda [Thu, 5 May 2011 18:14:38 +0000]
Ported user space support for host devices, user space host device example, and vnc interface to graphics console from the monolithic version.

Note: the addition of x0vncserver as a binary is by intent.   Crufty to add as source right now

15 years agoPorted device changes and support code for keyed streams, graphics console, and host...
Peter Dinda [Thu, 5 May 2011 18:12:41 +0000]
Ported device changes and support code for keyed streams, graphics console, and host device support from monolithic version

15 years agoPorted graphics console support from monolithic version
Peter Dinda [Thu, 5 May 2011 18:10:36 +0000]
Ported graphics console support from monolithic version

15 years agoPorted keyed stream support from monolithic embedding
Peter Dinda [Thu, 5 May 2011 18:10:06 +0000]
Ported keyed stream support from monolithic embedding

15 years agoPorted host device support from monolithic embedding
Peter Dinda [Thu, 5 May 2011 18:09:36 +0000]
Ported host device support from monolithic embedding

15 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Peter Dinda [Thu, 5 May 2011 17:01:16 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

15 years agobind launch thread to local core
Jack Lange [Wed, 4 May 2011 22:12:18 +0000]
bind launch thread to local core

15 years agoseparated virtual cores from physical cores
Jack Lange [Wed, 4 May 2011 21:25:37 +0000]
separated virtual cores from physical cores

15 years agobuild fix
Jack Lange [Wed, 4 May 2011 21:24:45 +0000]
build fix

15 years agofix the threads function calls using new vnet host interfaces
Lei Xia [Wed, 4 May 2011 16:30:58 +0000]
fix the threads function calls using new vnet host interfaces

15 years agoupdate Kconfig, added VNET configuration menu
Lei Xia [Wed, 4 May 2011 16:08:59 +0000]
update Kconfig, added VNET configuration menu

15 years agomove vnet code outside of palacios core directory
Lei Xia [Wed, 4 May 2011 16:05:07 +0000]
move vnet code outside of palacios core directory

15 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Lei Xia [Wed, 4 May 2011 14:39:41 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

15 years agoupdate on vnet host interface
Lei Xia [Wed, 4 May 2011 14:39:34 +0000]
update on vnet host interface

15 years agoupdate linux module to support multicore
Jack Lange [Wed, 4 May 2011 02:32:03 +0000]
update linux module to support multicore

15 years agoadded SMSW/LMSW support to internal decoder
Jack Lange [Wed, 4 May 2011 02:31:09 +0000]
added SMSW/LMSW support to internal decoder

15 years agomoved post config to before the device's are setup
Jack Lange [Tue, 3 May 2011 20:20:29 +0000]
moved post config to before the device's are setup

15 years agomoved xed over to new configuration syntax
Jack Lange [Tue, 3 May 2011 20:09:42 +0000]
moved xed over to new configuration syntax

15 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Peter Dinda [Tue, 3 May 2011 19:46:42 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

15 years agoSVM: display exit state if incremental exit displays are on
Peter Dinda [Tue, 3 May 2011 19:46:35 +0000]
SVM: display exit state if incremental exit displays are on

15 years agoMinor vga tweak
Peter Dinda [Tue, 3 May 2011 19:46:03 +0000]
Minor vga tweak

15 years agomoved mptable to a device for the moment
Jack Lange [Mon, 2 May 2011 22:39:40 +0000]
moved mptable to a device for the moment
this allows the ability to enable/disable it as needed

15 years agoinspector updates
Jack Lange [Mon, 2 May 2011 22:30:39 +0000]
inspector updates

15 years agoadded symmod linked script
Jack Lange [Mon, 2 May 2011 21:56:10 +0000]
added symmod linked script

15 years agoupdated linux module to new build framework
Jack Lange [Mon, 2 May 2011 21:52:09 +0000]
updated linux module to new build framework

15 years agoremoved instrumentation
Jack Lange [Mon, 2 May 2011 20:55:48 +0000]
removed instrumentation

15 years agoremoved instrumentation
Jack Lange [Mon, 2 May 2011 20:55:12 +0000]
removed instrumentation

15 years agobuild fixes to merge the Palacios configuration parameters with Linux parameters.
Jack Lange [Mon, 2 May 2011 20:54:57 +0000]
build fixes to merge the Palacios configuration parameters with Linux parameters.
Now all configuration macros are named V3_CONFIG* instead of CONFIG* to separate the Palacios namespace

15 years agofix for intel hardware
Jack Lange [Mon, 2 May 2011 18:34:02 +0000]
fix for intel hardware

15 years agoMerge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel
Jack Lange [Mon, 2 May 2011 18:31:57 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

15 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Lei Xia [Mon, 2 May 2011 16:21:25 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Conflicts:

palacios/src/devices/lnx_virtio_nic.c

15 years agoadd header file for host interfaces that are needed by VNET
Lei Xia [Mon, 2 May 2011 16:20:19 +0000]
add header file for host interfaces that are needed by VNET

15 years agoAdd large MTU support into Virtio NIC
Lei Xia [Mon, 2 May 2011 15:50:30 +0000]
Add large MTU support into Virtio NIC
asychronized pkt sending in VNET/P

15 years agocan now boot linux (slowly) with EPT enabled
Jack Lange [Fri, 29 Apr 2011 19:22:04 +0000]
can now boot linux (slowly) with EPT enabled

15 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

15 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Lei Xia [Thu, 28 Apr 2011 14:49:00 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

15 years agoFix the bug for losing interrupts to guest
Lei Xia [Thu, 28 Apr 2011 14:48:52 +0000]
Fix the bug for losing interrupts to guest

15 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

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

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

15 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

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

15 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

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

15 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?)

15 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

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

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

15 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

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

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

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

15 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

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

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

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

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

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

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

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

15 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

15 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

15 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

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

15 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

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

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

15 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

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

15 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

15 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

15 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

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

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

15 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

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

15 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

15 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

15 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

15 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

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

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

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

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

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

15 years agoFix to the time period calculation
Lei Xia [Thu, 14 Apr 2011 17:20:34 +0000]
Fix to the time period calculation

15 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