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.


11 years agoMerge branch 'Release-1.2' of ssh://palacios@newskysaw.cs.northwestern.edu//home... Release-1.2
Peter Dinda [Wed, 19 May 2010 16:19:03 +0000]
Merge branch 'Release-1.2' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios/palacios into Release-1.2

11 years agoadd console hook support
Erik van der Kouwe [Wed, 14 Apr 2010 19:19:25 +0000]
add console hook support

11 years agos patch fixes some issues I've had when compiling Palacios 32-bit.
Erik van der Kouwe [Tue, 13 Apr 2010 22:07:57 +0000]
s patch fixes some issues I've had when compiling Palacios 32-bit.

11 years agoThis patch fixes several issues with the console/cga code:
Erik van der Kouwe [Tue, 13 Apr 2010 21:49:02 +0000]
This patch fixes several issues with the console/cga code:
- Fixes some #includes
- Adds a missing prototype
- Adds a missing return
- Checks the length of screen updates to avoid sending updates for non-
visible memory regions

11 years agoThis patch changes the comment format (// to /* ... */) in some header
Erik van der Kouwe [Tue, 13 Apr 2010 21:48:24 +0000]
This patch changes the comment format (// to /* ... */) in some header
files, allowing them to be compiled with older versions of C.

11 years agobug fix for 32 bit ebp cloberring
Jack Lange [Fri, 9 Apr 2010 18:08:00 +0000]
bug fix for 32 bit ebp cloberring

11 years agobug fix for console scroll signedness issue
Erik van der Kouwe [Fri, 9 Apr 2010 17:33:30 +0000]
bug fix for console scroll signedness issue

11 years agonew copy of manual
Peter Dinda [Fri, 12 Mar 2010 21:36:39 +0000]
new copy of manual

11 years agoupdated comments for compiler compatibility
Erik van der Kouwe [Tue, 23 Feb 2010 19:56:37 +0000]
updated comments for compiler compatibility

11 years agoported 32 bit VMX launch code for nested entries
Jack Lange [Wed, 17 Feb 2010 17:56:46 +0000]
ported 32 bit VMX launch code for nested entries

11 years agoClear the profiling code
Lei Xia [Mon, 15 Feb 2010 05:39:32 +0000]
Clear the profiling code

11 years agoAdd lock to vmm_queue
Lei Xia [Mon, 15 Feb 2010 05:33:24 +0000]
Add lock to vmm_queue
Update VNET and virtio NIC to support multiple guests

11 years agoFix a virtio ring buffer free run index overflow bug
Lei Xia [Mon, 8 Feb 2010 00:35:29 +0000]
Fix a virtio ring buffer free run index overflow bug

11 years agoFix interrupt injection bug due to caching irq vectors after vector mappings have...
Jack Lange [Wed, 3 Feb 2010 01:24:34 +0000]
Fix interrupt injection bug due to caching irq vectors after vector mappings have changed
back port of irq fix

11 years agoIntel VMX ASM fixes
Jack Lange [Sat, 30 Jan 2010 21:18:55 +0000]
Intel VMX ASM fixes

11 years agoKBuild fixes to set defaults for Kitten
Jack Lange [Sat, 30 Jan 2010 21:18:36 +0000]
KBuild fixes to set defaults for Kitten

11 years agoMade these manuals top level for relase
Peter Dinda [Thu, 28 Jan 2010 01:25:12 +0000]
Made these manuals top level for relase

11 years agoA bit of cleanup
Peter Dinda [Thu, 28 Jan 2010 01:22:18 +0000]
A bit of cleanup

11 years agoUpdated manual for release - now ready from Palacios perspective
Peter Dinda [Thu, 28 Jan 2010 01:15:12 +0000]
Updated manual for release - now ready from Palacios perspective

11 years agoUpdated Kconfigs to a reasonable default, appropriate to default guestos image
Peter Dinda [Thu, 28 Jan 2010 00:37:27 +0000]
Updated Kconfigs to a reasonable default, appropriate to default guestos image
Added support in Makefile to immediately build guestos image and build_vm on make
Included simple guest iso and guest xml config

The result of this is that Palacios, compiled out of box and linked
with Kitten compiled OOB (+virtualization turned on) will correctly
work and boot a simple guest iso.   So now, it basically boils down to:

- download palacios
- download kitten
- make config palacios to get defaults
- make in palacios (libv3vee.a, guest_os.img, build_vm get created)
- make config kitten to get defaults,  turn on virtualization
- make isoimage

Now you have a ready to go kitten+palacios+linux guest

11 years agoEdited PXE boot manual
Peter Dinda [Wed, 27 Jan 2010 21:29:49 +0000]
Edited PXE boot manual

11 years agoPhils updates to fix xml warnings and telemetry warnings (from devel->Release 1.2)
Phil Soltero [Wed, 27 Jan 2010 20:24:19 +0000]
Phils updates to fix xml warnings and telemetry warnings (from devel->Release 1.2)

11 years agoEdits of user manual and guest builder manual
Phil Soltero [Wed, 27 Jan 2010 20:14:49 +0000]
Edits of user manual and guest builder manual

11 years agoDelete outdated vnet files in devices/
Lei Xia [Tue, 26 Jan 2010 22:08:31 +0000]
Delete outdated vnet files in devices/

11 years agoremoved unused devices
Jack Lange [Tue, 26 Jan 2010 22:04:37 +0000]
removed unused devices

11 years agoadded back in 32 bit support
Jack Lange [Tue, 26 Jan 2010 06:50:35 +0000]
added back in 32 bit support

11 years agoremoved ne2k
Jack Lange [Tue, 26 Jan 2010 05:27:23 +0000]
removed ne2k

11 years agomade virtio nic an experimental feature
Jack Lange [Tue, 26 Jan 2010 05:23:37 +0000]
made virtio nic an experimental feature

11 years agoAdd Vnet Configure
Lei Xia [Mon, 25 Jan 2010 20:12:50 +0000]
Add Vnet Configure

11 years agoUpdate on Vnet and Virtio Nic
Lei Xia [Mon, 25 Jan 2010 20:02:57 +0000]
Update on Vnet and Virtio Nic

11 years agoAdd Kitten booting from PXE manual
Lei Xia [Mon, 25 Jan 2010 20:00:34 +0000]
Add Kitten booting from PXE manual

11 years agoUpdated manual pulled from devel branch
Peter Dinda [Sat, 16 Jan 2010 18:58:07 +0000]
Updated manual pulled from devel branch
Includes external repo, gitweb, and the Generic device

11 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
Lei Xia [Thu, 14 Jan 2010 15:35:45 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

11 years agoBug fixed
Lei Xia [Thu, 14 Jan 2010 15:35:20 +0000]
Bug fixed

11 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
Jack Lange [Thu, 14 Jan 2010 00:28:27 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

11 years agoadded symbiotic config requirement to passthrough PCI
Jack Lange [Thu, 14 Jan 2010 00:28:02 +0000]
added symbiotic config requirement to passthrough PCI

11 years agoUpdated developers manual
Peter Dinda [Tue, 12 Jan 2010 22:30:14 +0000]
Updated developers manual

11 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
Jack Lange [Tue, 12 Jan 2010 20:39:21 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

11 years agoadded disk model something or other
Jack Lange [Tue, 12 Jan 2010 20:39:02 +0000]
added disk model something or other

11 years agoApplied patch
Lei Xia [Tue, 12 Jan 2010 04:33:45 +0000]
Applied patch

11 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
Lei Xia [Tue, 12 Jan 2010 04:31:23 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

11 years agoMinor fix on vnet
Lei Xia [Tue, 12 Jan 2010 04:30:07 +0000]
Minor fix on vnet

11 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios...
Peter Dinda [Mon, 11 Jan 2010 20:34:16 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios/palacios into devel

11 years agoIncludes Phil's patches to the guest build environment document
Peter Dinda [Mon, 11 Jan 2010 20:18:47 +0000]
Includes Phil's patches to the guest build environment document

11 years agoMinor fixes for printf format
Peter Dinda [Mon, 11 Jan 2010 20:12:24 +0000]
Minor fixes for printf format

11 years agoadded cache disk based symswap
Jack Lange [Fri, 8 Jan 2010 20:33:08 +0000]
added cache disk based symswap

11 years agolots of fixes
Jack Lange [Thu, 7 Jan 2010 23:15:22 +0000]
lots of fixes

11 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
Jack Lange [Tue, 5 Jan 2010 19:36:50 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

11 years agobuild fix
Jack Lange [Tue, 5 Jan 2010 18:08:38 +0000]
build fix

11 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
Lei Xia [Tue, 5 Jan 2010 01:55:31 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

11 years agoMinor fix
Lei Xia [Tue, 5 Jan 2010 01:54:11 +0000]
Minor fix

11 years agoFixed bug with VMX interrupt injection
Jack Lange [Mon, 4 Jan 2010 20:37:42 +0000]
Fixed bug with VMX interrupt injection
added an exit log for debugging

11 years agoImproved tex document structure.
Philip Soltero [Sun, 27 Dec 2009 21:57:13 +0000]
Improved tex document structure.

11 years agoModified titles and some wording for verbal parallelism.
Philip Soltero [Sun, 27 Dec 2009 21:55:40 +0000]
Modified titles and some wording for verbal parallelism.
Added clarification text in a few places.

11 years agostability fixes
Jack Lange [Sun, 27 Dec 2009 21:50:53 +0000]
stability fixes

11 years agoMinor change for debug
Lei Xia [Tue, 22 Dec 2009 21:35:55 +0000]
Minor change for debug

11 years agoAdd guest build manual
Lei Xia [Tue, 22 Dec 2009 19:51:19 +0000]
Add guest build manual

11 years agosmall fix
Lei Xia [Wed, 16 Dec 2009 20:16:30 +0000]
small fix

11 years agoformatting fixes
Jack Lange [Tue, 15 Dec 2009 22:53:54 +0000]
formatting fixes

11 years agoformatting changes
Jack Lange [Tue, 15 Dec 2009 22:20:57 +0000]
formatting changes

11 years agodebugging tweaks and minor fixes
Jack Lange [Tue, 15 Dec 2009 22:01:08 +0000]
debugging tweaks and minor fixes

11 years agomoved network backend/frontend registration to correct location
Jack Lange [Tue, 15 Dec 2009 21:59:31 +0000]
moved network backend/frontend registration to correct location

11 years agoRestructure of Vnet
Lei Xia [Tue, 15 Dec 2009 06:09:25 +0000]
Restructure of Vnet

11 years agoVirtio Net device update
Lei Xia [Tue, 15 Dec 2009 06:08:31 +0000]
Virtio Net device update

11 years agoa few fixs
Lei Xia [Fri, 11 Dec 2009 20:03:44 +0000]
a few fixs

11 years agoUpdate on the virtio net
Lei Xia [Fri, 11 Dec 2009 00:31:52 +0000]
Update on the virtio net

11 years agoadded debugging
Jack Lange [Wed, 9 Dec 2009 23:54:01 +0000]
added debugging

11 years agoreduced debugging messages
Jack Lange [Wed, 9 Dec 2009 23:51:12 +0000]
reduced debugging messages

11 years agoremoved vmcs accesses from io handler
Jack Lange [Wed, 9 Dec 2009 23:50:32 +0000]
removed vmcs accesses from io handler

11 years agominor changes
Jack Lange [Tue, 8 Dec 2009 05:41:45 +0000]
minor changes

11 years agomade the configuration builder interface a little more informative
Jack Lange [Tue, 8 Dec 2009 04:49:38 +0000]
made the configuration builder interface a little more informative

11 years agodevice fixes for bugs introduced with new configuration system
Jack Lange [Mon, 7 Dec 2009 23:13:55 +0000]
device fixes for bugs introduced with new configuration system

11 years agoadded debugging
Jack Lange [Mon, 7 Dec 2009 23:11:41 +0000]
added debugging

11 years agoadded test hypercall for debugging guest hypercall support
Jack Lange [Mon, 7 Dec 2009 23:10:58 +0000]
added test hypercall for debugging guest hypercall support

11 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
Jack Lange [Thu, 3 Dec 2009 22:40:10 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

11 years agomajor VMX update
Jack Lange [Thu, 3 Dec 2009 22:39:16 +0000]
major VMX update
ported to new configuration system
reworked to allow nested entries

11 years agodelete lnx_virtio_nic.h
Lei Xia [Tue, 1 Dec 2009 18:14:09 +0000]
delete lnx_virtio_nic.h

11 years agoFix the config
Lei Xia [Tue, 1 Dec 2009 18:13:37 +0000]
Fix the config

11 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
Lei Xia [Tue, 1 Dec 2009 05:47:46 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

11 years agoAdd virtio config option
Lei Xia [Tue, 1 Dec 2009 05:44:57 +0000]
Add virtio config option

11 years agoAdd Virtio Network device and add virio_net config option
Lei Xia [Tue, 1 Dec 2009 05:40:40 +0000]
Add Virtio Network device and add virio_net config option

11 years agodocumentation changes
Jack Lange [Tue, 1 Dec 2009 05:07:58 +0000]
documentation changes

11 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
Jack Lange [Tue, 1 Dec 2009 04:11:56 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

11 years agogeneric device changes
Jack Lange [Tue, 1 Dec 2009 04:11:40 +0000]
generic device changes

11 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
Jack Lange [Tue, 1 Dec 2009 01:05:02 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

11 years agointegrated new configuration system
Jack Lange [Tue, 1 Dec 2009 01:04:44 +0000]
integrated new configuration system

11 years agoadded default PC configuration file
Jack Lange [Tue, 1 Dec 2009 00:53:22 +0000]
added default PC configuration file

11 years agovarious changes...
Jack Lange [Thu, 26 Nov 2009 20:16:19 +0000]
various changes...

11 years agoremoved kconfig template filE
Jack Lange [Thu, 26 Nov 2009 20:11:13 +0000]
removed kconfig template filE

11 years agoadded user space configuration build system
Jack Lange [Wed, 25 Nov 2009 07:25:28 +0000]
added user space configuration build system

11 years agoremoved deprecated build tools
Jack Lange [Wed, 25 Nov 2009 03:05:01 +0000]
removed deprecated build tools

11 years agochange pci devices to be more generic.
Jack Lange [Wed, 18 Nov 2009 03:54:41 +0000]
change pci devices to be more generic.
added support for multiple linux virtio block device

11 years agointerface updates
Jack Lange [Tue, 17 Nov 2009 23:17:22 +0000]
interface updates

11 years agoadded xml parser for configuration
Jack Lange [Tue, 17 Nov 2009 19:47:07 +0000]
added xml parser for configuration

11 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
Lei Xia [Mon, 16 Nov 2009 23:21:28 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

11 years agoAdd vnet experimental option to config
Lei Xia [Mon, 16 Nov 2009 23:15:04 +0000]
Add vnet experimental option to config

11 years agoMove vnet code to src/palacios
Lei Xia [Mon, 16 Nov 2009 23:13:01 +0000]
Move vnet code to src/palacios

11 years agoMove vnet to src/palacios/
Lei Xia [Mon, 16 Nov 2009 22:33:12 +0000]
Move vnet to src/palacios/

11 years agomoved palacios.png to misc directory
Jack Lange [Tue, 10 Nov 2009 23:33:00 +0000]
moved palacios.png to misc directory

11 years agomore updates
Jack Lange [Tue, 10 Nov 2009 22:28:22 +0000]
more updates