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 agoPatch from kevin fixing typo in default.xml
Patrick G. Bridges [Tue, 21 Sep 2010 16:35:09 +0000]
Patch from kevin fixing typo in default.xml

13 years agoFixed bug in io_apic.c where use of id_reg->val instead of id_reg->id caused
Patrick G. Bridges [Mon, 30 Aug 2010 18:02:14 +0000]
Fixed bug in io_apic.c where use of id_reg->val instead of id_reg->id caused
programming of the virtual IOAPIC ID to go awry when Linux had non-zero
bits in the reserved bits of the register.

13 years agoMinor warning/error prints corrected.
Patrick G. Bridges [Thu, 26 Aug 2010 20:07:06 +0000]
Minor warning/error prints corrected.

13 years agoEnabled channel 2 in 8254.c, added basic speaker I/O port support for
Patrick Bridges [Wed, 18 Aug 2010 22:52:30 +0000]
Enabled channel 2 in 8254.c, added basic speaker I/O port support for
polling the 8254 channel 2 countdown timer. Allows Linux to calibrate TSC
correctly on real hardware.

13 years agoRemoved spurious PrintError for red storm from apic.c, fixed large page
Patrick Bridges [Mon, 16 Aug 2010 19:46:57 +0000]
Removed spurious PrintError for red storm from apic.c, fixed large page
syntax in default.xml

13 years agochange to device configuration syntax
Jack Lange [Fri, 13 Aug 2010 23:01:12 +0000]
change to device configuration syntax

13 years agoAdded support for using large shadow pages with 32-bit 4MB page table entries
Patrick Bridges [Thu, 12 Aug 2010 17:23:22 +0000]
Added support for using large shadow pages with 32-bit 4MB page table entries

13 years agoActually fixed page alignment computation to be correct, moved into vmm_mem.h for...
Patrick Bridges [Thu, 12 Aug 2010 17:05:05 +0000]
Actually fixed page alignment computation to be correct, moved into vmm_mem.h for use with 4MB pages, too.

13 years agoAdded robust physical alignment check
Patrick Bridges [Wed, 11 Aug 2010 22:44:19 +0000]
Added robust physical alignment check

13 years agoChanges to support large shadow pages *correctly*.
Patrick Bridges [Wed, 11 Aug 2010 17:21:48 +0000]
Changes to support large shadow pages *correctly*.

13 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
Patrick Bridges [Wed, 11 Aug 2010 15:41:59 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

13 years agoMinor configuration fix for large page->large page fix.
Patrick Bridges [Tue, 10 Aug 2010 22:23:21 +0000]
Minor configuration fix for large page->large page fix.

13 years agoChanged to using strcasecmp to avoid adding library dependencies
Patrick Bridges [Tue, 10 Aug 2010 21:44:48 +0000]
Changed to using strcasecmp to avoid adding library dependencies

13 years agoAdded initial cut at support with using large pages in shadow
Patrick Bridges [Tue, 10 Aug 2010 20:53:06 +0000]
Added initial cut at support with using large pages in shadow
page tables to back large pages in the guest, assuming the
guest memory is appropraitely aligned.

13 years agoenable Alex's large page support
Jack Lange [Tue, 10 Aug 2010 20:38:25 +0000]
enable Alex's large page support

13 years agothis is a fix for the get_next_region function.
Alex Merritt [Tue, 10 Aug 2010 20:28:13 +0000]
this is a fix for the get_next_region function.

13 years agoAdded alignment of memory as a top-level VM parameter to ease use of 2MB
Patrick Bridges [Tue, 10 Aug 2010 20:00:00 +0000]
Added alignment of memory as a top-level VM parameter to ease use of 2MB
shadow pages under 2MB guest pages.

13 years agoadded framework for large page support...
Alex Merritt [Fri, 6 Aug 2010 19:41:31 +0000]
added framework for large page support...

13 years agoattribution fix
Jack Lange [Fri, 6 Aug 2010 19:39:21 +0000]
attribution fix

13 years agofix to svm outs default segment register bug
Erik van der Kouwe [Thu, 5 Aug 2010 23:51:01 +0000]
fix to svm outs default segment register bug

13 years agoupdated Linux host defaults
Jack Lange [Thu, 5 Aug 2010 18:50:24 +0000]
updated Linux host defaults

13 years agoadded file disk implementation
Jack Lange [Thu, 5 Aug 2010 18:28:48 +0000]
added file disk implementation

13 years agoIntegrated vmm_file and filedisk - now compiles
Peter Dinda [Thu, 5 Aug 2010 18:43:39 +0000]
Integrated vmm_file and filedisk - now compiles

13 years agoFile support added (interface to file support in host)
Jack Lange [Thu, 5 Aug 2010 18:48:46 +0000]
File support added (interface to file support in host)

Conflicts:

Kconfig

13 years agoactually add the filedisk implementation
Jack Lange [Thu, 5 Aug 2010 18:40:29 +0000]
actually add the filedisk implementation

13 years agoadded host OS file support configuration option
Jack Lange [Thu, 5 Aug 2010 18:20:01 +0000]
added host OS file support configuration option

13 years agominor fix
Jack Lange [Thu, 5 Aug 2010 00:45:11 +0000]
minor fix

13 years agoadded framework for large page support...
Jack Lange [Wed, 4 Aug 2010 23:46:04 +0000]
added framework for large page support...

13 years agoadded per core flags to guest structure
Jack Lange [Wed, 4 Aug 2010 23:26:55 +0000]
added per core flags to guest structure
currently large page support is the only enabled flag...

13 years agoadded memory alignment option to vmm memory mangement initialization and allocation
Jack Lange [Wed, 4 Aug 2010 23:18:41 +0000]
added memory alignment option to vmm memory mangement initialization and allocation

13 years agoadded configurable host features to Palacios configuration
Jack Lange [Tue, 3 Aug 2010 23:11:16 +0000]
added configurable host features to Palacios configuration

13 years agoadded new vmm_mem function to find next memory region
Alexander Merritt [Tue, 3 Aug 2010 22:40:41 +0000]
added new vmm_mem function to find next memory region

13 years agoupdate to the host OS interface to allow aligned page allocations
Alexander Merritt [Tue, 3 Aug 2010 22:24:55 +0000]
update to the host OS interface to allow aligned page allocations

13 years agoremoved unused addr_width field
Jack Lange [Tue, 3 Aug 2010 22:19:15 +0000]
removed unused addr_width field

13 years agoformat fixes
Jack Lange [Tue, 3 Aug 2010 20:02:37 +0000]
format fixes

13 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
Jack Lange [Tue, 3 Aug 2010 19:22:03 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

13 years agoNow correctly boots 2, 4, 8 core kitten
Peter Dinda [Tue, 3 Aug 2010 18:03:13 +0000]
Now correctly boots 2, 4, 8 core kitten

Fixed issue with memory region search on even number of cores (>2)

Cleaning up debugging output throughout

Added CONFIG_DEBUG_VMX and CONFIG_DEBUG_SVM

13 years agoFixed handling of the INTAK cycle for both apic and pic
Peter Dinda [Sat, 31 Jul 2010 01:15:18 +0000]
Fixed handling of the INTAK cycle for both apic and pic
Now the apic will only note an interrupt is in service if
it actually originated it, similar to the pic.   I also
added debugging prints to both apic and pic to indicate
when they ignore such INTAK end-of-cycle

INTAK -> begin_irq on interrupt controllers

13 years agoSemi-functional SMP (boots Kitten guest with two cores)
Peter Dinda [Fri, 30 Jul 2010 21:59:27 +0000]
Semi-functional SMP (boots Kitten guest with two cores)

13 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios...
Peter Dinda [Fri, 30 Jul 2010 21:58:35 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios/palacios into devel

13 years agoFinal changes to paging configuration format. Nested and shadow paging
Patrick Bridges [Fri, 30 Jul 2010 18:18:17 +0000]
Final changes to paging configuration format. Nested and shadow paging
both verified to work.

13 years agoFixed nested paging to work again, minor change to configuration syntax of shadow...
Patrick Bridges [Thu, 29 Jul 2010 21:30:05 +0000]
Fixed nested paging to work again, minor change to configuration syntax of shadow and nested paging.
Updated default.xml appropriately.

13 years agoMinor change to shadow paging to make sure it initializes unless nested
Patrick Bridges [Thu, 29 Jul 2010 19:03:45 +0000]
Minor change to shadow paging to make sure it initializes unless nested
explicitly requested

13 years agoResolved Patrick's debug patches and the external irq work
Peter Dinda [Thu, 29 Jul 2010 18:40:27 +0000]
Resolved Patrick's debug patches and the external irq work

13 years agoFixed stupid branch check, added more preconfig error checking
Patrick Bridges [Thu, 29 Jul 2010 18:23:00 +0000]
Fixed stupid branch check, added more preconfig error checking

13 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
Jack Lange [Thu, 29 Jul 2010 17:57:42 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

13 years agoadded code formatting utilities
Jack Lange [Wed, 7 Jul 2010 23:15:38 +0000]
added code formatting utilities

13 years agoadded error checking to outs operation
Jack Lange [Thu, 22 Jul 2010 16:39:27 +0000]
added error checking to outs operation

13 years agoDebugged changes to make shadow and nested paging configurable again.
Patrick Bridges [Thu, 29 Jul 2010 17:48:14 +0000]
Debugged changes to make shadow and nested paging configurable again.

13 years agoChanged default.xml to have a setup for modern Linux/Kitten guests that
Patrick Bridges [Thu, 29 Jul 2010 16:26:53 +0000]
Changed default.xml to have a setup for modern Linux/Kitten guests that
uses the icc_bus/ioapic correctly

13 years agoMinor changes to make icc_bus.c compile without debugging on
Patrick Bridges [Thu, 29 Jul 2010 16:13:18 +0000]
Minor changes to make icc_bus.c compile without debugging on

13 years agoMerge branch 'devel' of ssh://bridges@newskysaw.cs.northwestern.edu/home/palacios...
Patrick Bridges [Thu, 29 Jul 2010 16:10:28 +0000]
Merge branch 'devel' of ssh://bridges@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

13 years agoFixed up configuration support for nested/shadow paging
Patrick Bridges [Tue, 27 Jul 2010 19:02:22 +0000]
Fixed up configuration support for nested/shadow paging

13 years agoImplemented SMP, still not functional
Peter Dinda [Sat, 10 Jul 2010 00:37:43 +0000]
Implemented SMP, still not functional

13 years agoPartially functional icc_bus (works for UP)
Peter Dinda [Thu, 8 Jul 2010 23:11:53 +0000]
Partially functional icc_bus (works for UP)
Works up to init for SMP

13 years agoWorking apic, ioapic, and icc_bus for 1 core
Peter Dinda [Wed, 7 Jul 2010 23:04:51 +0000]
Working apic, ioapic, and icc_bus for 1 core
Working = "runs phil's image apparently correctly"

13 years agoWorking mptable support (Linux correctly recognizes 1,2,4,8,16,32 proc configs)
Peter Dinda [Wed, 7 Jul 2010 18:12:30 +0000]
Working mptable support (Linux correctly recognizes 1,2,4,8,16,32 proc configs)

13 years agoPartially functional Intel MP table support
Peter Dinda [Wed, 7 Jul 2010 02:33:48 +0000]
Partially functional Intel MP table support

13 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios...
Peter Dinda [Mon, 7 Jun 2010 19:08:19 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios/palacios into devel

13 years agoadded serial port hardware emulation
Rumou Duan [Wed, 2 Jun 2010 21:14:53 +0000]
added serial port hardware emulation

13 years agobug fix for Qemu EVENTINJ issue
Jack Lange [Wed, 2 Jun 2010 19:36:52 +0000]
bug fix for Qemu EVENTINJ issue

13 years agoreadd large page flag
Jack Lange [Tue, 25 May 2010 21:49:05 +0000]
readd large page flag

13 years agoreverted CPU id patch
Jack Lange [Tue, 25 May 2010 21:39:42 +0000]
reverted CPU id patch

13 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
Jack Lange [Tue, 25 May 2010 21:35:57 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

13 years agoremoved obsolete page table flags
Jack Lange [Tue, 25 May 2010 21:35:40 +0000]
removed obsolete page table flags

13 years agocomment fix
Jack Lange [Mon, 24 May 2010 23:16:31 +0000]
comment fix

14 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios...
Peter Dinda [Sat, 22 May 2010 19:00:12 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios/palacios into devel

14 years agoAdd fix to the guest cores config, for multiple guests support
Lei Xia [Sat, 22 May 2010 00:58:28 +0000]
Add fix to the guest cores config, for multiple guests support

14 years agolicense fixes for code borrowed from Linux
Jack Lange [Wed, 19 May 2010 22:59:50 +0000]
license fixes for code borrowed from Linux

14 years agobug fix for interrupt check
Jack Lange [Fri, 21 May 2010 19:11:00 +0000]
bug fix for interrupt check

14 years agolicense fixes for code stolen from Linux under GPL
Jack Lange [Wed, 19 May 2010 22:59:50 +0000]
license fixes for code stolen from Linux under GPL

14 years agoFixed minor compilation problems
Peter Dinda [Wed, 19 May 2010 16:14:41 +0000]
Fixed minor compilation problems
Moved to v3_get_mem_region() from v3_get_shadow_region() where these were still using the old function

14 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios...
Peter Dinda [Wed, 19 May 2010 15:48:47 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios/palacios into devel

Conflicts:
palacios/src/palacios/svm.c

14 years agofixed configuation address translation
Jack Lange [Tue, 18 May 2010 23:06:27 +0000]
fixed configuation address translation

14 years agopossibly fixed bug in 8259 implementation
Jack Lange [Tue, 18 May 2010 23:04:45 +0000]
possibly fixed bug in 8259 implementation

14 years agomemory lookup refactorization
Jack Lange [Tue, 18 May 2010 21:43:44 +0000]
memory lookup refactorization

14 years agorefactored memory map
Jack Lange [Tue, 18 May 2010 03:51:19 +0000]
refactored memory map

14 years agomoved memory hooks out of core memory map implementation,
Jack Lange [Tue, 18 May 2010 03:34:33 +0000]
moved memory hooks out of core memory map implementation,
modified paging to implement unhandled callbacks

14 years agoadd more permission checks to shadow paging
Jack Lange [Sat, 15 May 2010 00:29:18 +0000]
add more permission checks to shadow paging

14 years agoremoved old memory region type enumeration
Jack Lange [Sat, 15 May 2010 00:05:07 +0000]
removed old memory region type enumeration

14 years agomoved shadow paging implementations over to new memory region flags structure
Jack Lange [Sat, 15 May 2010 00:03:45 +0000]
moved shadow paging implementations over to new memory region flags structure

14 years agomoved direct paging implementation over to new memory region flags structure
Jack Lange [Fri, 14 May 2010 23:36:53 +0000]
moved direct paging implementation over to new memory region flags structure

14 years agomoved internal memory map routines over to new flags structure instead of the hardcod...
Jack Lange [Fri, 14 May 2010 23:14:05 +0000]
moved internal memory map routines over to new flags structure instead of the hardcoded region type enumeration.

14 years agosymbiotic module changes
Jack Lange [Fri, 14 May 2010 21:37:44 +0000]
symbiotic module changes

14 years agofixed host OS selection options
Jack Lange [Thu, 13 May 2010 20:10:38 +0000]
fixed host OS selection options

14 years agosymbiotic module fixes
Jack Lange [Thu, 6 May 2010 21:22:49 +0000]
symbiotic module fixes

14 years agoremoved old vnet file
Jack Lange [Thu, 6 May 2010 19:38:07 +0000]
removed old vnet file

14 years agomodule build fixes
Jack Lange [Thu, 6 May 2010 16:47:33 +0000]
module build fixes

14 years agoadded module linkage support
Jack Lange [Thu, 6 May 2010 00:39:23 +0000]
added module linkage support

14 years agoremoved legacy module code
Jack Lange [Thu, 6 May 2010 00:17:02 +0000]
removed legacy module code

14 years agofixes for module build system
Jack Lange [Thu, 6 May 2010 00:16:21 +0000]
fixes for module build system

14 years agoadded test linux kernel module
Jack Lange [Wed, 5 May 2010 22:37:59 +0000]
added test linux kernel module

14 years agoadded new module encapsulation framework
Jack Lange [Wed, 5 May 2010 22:32:30 +0000]
added new module encapsulation framework

14 years agoremoved ugly module support
Jack Lange [Wed, 5 May 2010 22:24:18 +0000]
removed ugly module support

14 years agoMerge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
Lei Xia [Tue, 4 May 2010 21:32:16 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

14 years agoAdd hypercall for guest to get CPU frequency
Lei Xia [Tue, 4 May 2010 21:31:09 +0000]
Add hypercall for guest to get CPU frequency

14 years agorestructuring of shadow paging implementations
Jack Lange [Tue, 4 May 2010 20:22:47 +0000]
restructuring of shadow paging implementations

14 years agobuild system fixes
Jack Lange [Tue, 4 May 2010 03:28:27 +0000]
build system fixes

14 years agopci passthrough modifications
Jack Lange [Fri, 30 Apr 2010 00:57:07 +0000]
pci passthrough modifications

14 years agoClean the typos
Lei Xia [Wed, 28 Apr 2010 21:57:40 +0000]
Clean the typos