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.
Jack Lange [Wed, 6 Oct 2010 17:44:07 +0000]
filedisk fixes
Jack Lange [Thu, 12 Aug 2010 20:17:10 +0000]
linux fixes
Jack Lange [Wed, 6 Oct 2010 17:41:05 +0000]
config fix
Jack Lange [Wed, 6 Oct 2010 17:39:08 +0000]
Fixed bug in v3_cfg_val where it would not return null if a child named *tag does not exist.
Filedisk now accepts a mode from the config file.
Conflicts:
palacios/src/devices/filedisk.c
Jack Lange [Wed, 6 Oct 2010 17:36:15 +0000]
Functional file backend
Conflicts:
palacios/src/devices/filedisk.c
Jack Lange [Wed, 6 Oct 2010 17:35:10 +0000]
removed redundant FILE option
Conflicts:
Kconfig
Jack Lange [Wed, 6 Oct 2010 15:55:06 +0000]
disabled serial port debugging
Peter Dinda [Wed, 6 Oct 2010 00:46:38 +0000]
Implemented all and all-but-me shorthand delivery for IPIs
where the logical destination mode is specified
Jack Lange [Tue, 5 Oct 2010 22:57:29 +0000]
removed virtual wire mode
Jack Lange [Tue, 5 Oct 2010 22:36:12 +0000]
this will probably be a disaster...
Jack Lange [Tue, 5 Oct 2010 22:35:12 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel
Conflicts:
palacios/src/devices/icc_bus.c
Jack Lange [Tue, 5 Oct 2010 22:32:30 +0000]
format fix
Jack Lange [Tue, 5 Oct 2010 22:31:48 +0000]
some format fixes
Peter Dinda [Tue, 5 Oct 2010 22:30:53 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios/palacios into devel
Peter Dinda [Tue, 5 Oct 2010 22:30:46 +0000]
Fixed minor syntax error
Jack Lange [Tue, 5 Oct 2010 22:28:46 +0000]
fix for Linux rule breaking behavior
Peter Dinda [Tue, 5 Oct 2010 22:14:04 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios/palacios into devel
Conflicts:
palacios/include/palacios/vm_guest.h
palacios/src/devices/apic.c
palacios/src/devices/io_apic.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_direct_paging_64.h
palacios/src/palacios/vmm_mem.c
utils/guest_creator/default.xml
Jack Lange [Tue, 5 Oct 2010 21:11:56 +0000]
format fixes
Jack Lange [Tue, 5 Oct 2010 14:50:47 +0000]
minor header file reordering for clarity
Patrick G. Bridges [Fri, 1 Oct 2010 21:36:23 +0000]
Time configuration parameters added. More time control code prototyped,
but no robust control in place yet.
Patrick G. Bridges [Fri, 1 Oct 2010 18:32:27 +0000]
Added initialization of yield_start_cycle to start_time()
Patrick G. Bridges [Fri, 1 Oct 2010 18:27:16 +0000]
MOre minor fixes
Peter Dinda [Sun, 26 Sep 2010 20:51:48 +0000]
Partially functional support for APIC/ICC clustered delivery,
both physical and logical, needed for Linux with >2 cores.
Note that there is still a bug here somewhere - Linux >2 cores will
eventually die with an attempted physical delivery outside of the
available cores
Jack Lange [Fri, 24 Sep 2010 23:03:06 +0000]
format fixes
Jack Lange [Fri, 24 Sep 2010 22:17:16 +0000]
mark APIC/IO-APIC/ICC bus as experimental features and removed them from the default configuration file
Jack Lange [Fri, 24 Sep 2010 22:10:21 +0000]
added option for secure symbiotic modules to symspy
Patrick G. Bridges [Tue, 21 Sep 2010 16:35:09 +0000]
Patch from kevin fixing typo in default.xml
Patrick G. Bridges [Mon, 20 Sep 2010 21:56:03 +0000]
Initial testing of new time handling on VMX, initial implementation of new
time handling on SVM.
Patrick G. Bridges [Mon, 20 Sep 2010 19:58:46 +0000]
Implemented (but not yet tested) time interface changes for consistency
and, more importantly, and to control vmx offseting of TSC appropriately.
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.
Patrick G. Bridges [Thu, 26 Aug 2010 20:07:06 +0000]
Minor warning/error prints corrected.
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.
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
Jack Lange [Fri, 13 Aug 2010 23:01:12 +0000]
change to device configuration syntax
Patrick Bridges [Thu, 12 Aug 2010 17:23:22 +0000]
Added support for using large shadow pages with 32-bit 4MB page table entries
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.
Patrick Bridges [Wed, 11 Aug 2010 22:44:19 +0000]
Added robust physical alignment check
Patrick Bridges [Wed, 11 Aug 2010 17:21:48 +0000]
Changes to support large shadow pages *correctly*.
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
Patrick Bridges [Tue, 10 Aug 2010 22:23:21 +0000]
Minor configuration fix for large page->large page fix.
Patrick Bridges [Tue, 10 Aug 2010 21:44:48 +0000]
Changed to using strcasecmp to avoid adding library dependencies
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.
Jack Lange [Tue, 10 Aug 2010 20:38:25 +0000]
enable Alex's large page support
Alex Merritt [Tue, 10 Aug 2010 20:28:13 +0000]
this is a fix for the get_next_region function.
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.
Alex Merritt [Fri, 6 Aug 2010 19:41:31 +0000]
added framework for large page support...
Jack Lange [Fri, 6 Aug 2010 19:39:21 +0000]
attribution fix
Erik van der Kouwe [Thu, 5 Aug 2010 23:51:01 +0000]
fix to svm outs default segment register bug
Jack Lange [Thu, 5 Aug 2010 18:50:24 +0000]
updated Linux host defaults
Jack Lange [Thu, 5 Aug 2010 18:28:48 +0000]
added file disk implementation
Peter Dinda [Thu, 5 Aug 2010 18:43:39 +0000]
Integrated vmm_file and filedisk - now compiles
Jack Lange [Thu, 5 Aug 2010 18:48:46 +0000]
File support added (interface to file support in host)
Conflicts:
Kconfig
Jack Lange [Thu, 5 Aug 2010 18:40:29 +0000]
actually add the filedisk implementation
Jack Lange [Thu, 5 Aug 2010 18:20:01 +0000]
added host OS file support configuration option
Jack Lange [Thu, 5 Aug 2010 00:45:11 +0000]
minor fix
Jack Lange [Wed, 4 Aug 2010 23:46:04 +0000]
added framework for large page support...
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...
Jack Lange [Wed, 4 Aug 2010 23:18:41 +0000]
added memory alignment option to vmm memory mangement initialization and allocation
Peter Dinda [Wed, 4 Aug 2010 00:25:14 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios/palacios into devel
Peter Dinda [Wed, 4 Aug 2010 00:19:20 +0000]
Functional 2 core linux guest
Main addition is logical destination mode for IPIs
Jack Lange [Tue, 3 Aug 2010 23:11:16 +0000]
added configurable host features to Palacios configuration
Alexander Merritt [Tue, 3 Aug 2010 22:40:41 +0000]
added new vmm_mem function to find next memory region
Alexander Merritt [Tue, 3 Aug 2010 22:24:55 +0000]
update to the host OS interface to allow aligned page allocations
Jack Lange [Tue, 3 Aug 2010 22:19:15 +0000]
removed unused addr_width field
Jack Lange [Tue, 3 Aug 2010 20:02:37 +0000]
format fixes
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
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
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
Peter Dinda [Fri, 30 Jul 2010 21:59:27 +0000]
Semi-functional SMP (boots Kitten guest with two cores)
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
Patrick Bridges [Fri, 30 Jul 2010 18:18:17 +0000]
Final changes to paging configuration format. Nested and shadow paging
both verified to work.
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.
Patrick Bridges [Thu, 29 Jul 2010 19:03:45 +0000]
Minor change to shadow paging to make sure it initializes unless nested
explicitly requested
Peter Dinda [Thu, 29 Jul 2010 18:40:27 +0000]
Resolved Patrick's debug patches and the external irq work
Patrick Bridges [Thu, 29 Jul 2010 18:23:00 +0000]
Fixed stupid branch check, added more preconfig error checking
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
Jack Lange [Wed, 7 Jul 2010 23:15:38 +0000]
added code formatting utilities
Jack Lange [Thu, 22 Jul 2010 16:39:27 +0000]
added error checking to outs operation
Patrick Bridges [Thu, 29 Jul 2010 17:48:14 +0000]
Debugged changes to make shadow and nested paging configurable again.
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
Patrick Bridges [Thu, 29 Jul 2010 16:13:18 +0000]
Minor changes to make icc_bus.c compile without debugging on
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
Patrick Bridges [Tue, 27 Jul 2010 19:02:22 +0000]
Fixed up configuration support for nested/shadow paging
Peter Dinda [Sat, 10 Jul 2010 00:37:43 +0000]
Implemented SMP, still not functional
Peter Dinda [Thu, 8 Jul 2010 23:11:53 +0000]
Partially functional icc_bus (works for UP)
Works up to init for SMP
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"
Peter Dinda [Wed, 7 Jul 2010 18:12:30 +0000]
Working mptable support (Linux correctly recognizes 1,2,4,8,16,32 proc configs)
Peter Dinda [Wed, 7 Jul 2010 02:33:48 +0000]
Partially functional Intel MP table support
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
Rumou Duan [Wed, 2 Jun 2010 21:14:53 +0000]
added serial port hardware emulation
Jack Lange [Wed, 2 Jun 2010 19:36:52 +0000]
bug fix for Qemu EVENTINJ issue
Jack Lange [Tue, 25 May 2010 21:49:05 +0000]
readd large page flag
Jack Lange [Tue, 25 May 2010 21:39:42 +0000]
reverted CPU id patch
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
Jack Lange [Tue, 25 May 2010 21:35:40 +0000]
removed obsolete page table flags
Jack Lange [Mon, 24 May 2010 23:16:31 +0000]
comment fix
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
Lei Xia [Sat, 22 May 2010 00:58:28 +0000]
Add fix to the guest cores config, for multiple guests support
Jack Lange [Wed, 19 May 2010 22:59:50 +0000]
license fixes for code borrowed from Linux
Jack Lange [Fri, 21 May 2010 19:11:00 +0000]
bug fix for interrupt check