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.
Patrick G. Bridges [Mon, 25 Oct 2010 19:25:58 +0000]
Minor changes to debugging, change to Makefile to support building TAGS files, added initial support for INIT/SIPI modes to vmx.c but multicore VMX still not yet working
Patrick G. Bridges [Thu, 21 Oct 2010 17:22:21 +0000]
More minor fixes on time keeping. VMM clock now appears to be essentially accurate to real time on QEMU
Patrick G. Bridges [Wed, 20 Oct 2010 22:28:26 +0000]
More minor updates for handling time. Virtually slower CPUs seem to be working, so that in a core, you can specify khz="1000000" and the VMM will slow down that particular core by yielding the CPU back to the host when necessary. Still need to test/debug on real hardware as opposed to QEMU.
Patrick G. Bridges [Wed, 20 Oct 2010 21:57:06 +0000]
Attempts to support virutally slower processors - broken!
Patrick G. Bridges [Wed, 20 Oct 2010 19:27:37 +0000]
Minor cleanups on time handling.
Patrick G. Bridges [Tue, 19 Oct 2010 21:30:59 +0000]
Merge branch 'devel' into timer_control
Patrick G. Bridges [Tue, 19 Oct 2010 20:18:34 +0000]
Minor compile fix.
Patrick G. Bridges [Tue, 19 Oct 2010 20:16:04 +0000]
Fixed merge of apic.c
Patrick G. Bridges [Tue, 19 Oct 2010 20:13:04 +0000]
More updates getting basic version of time handling working.
Jack Lange [Tue, 19 Oct 2010 17:08:18 +0000]
remove debugging
Jack Lange [Tue, 19 Oct 2010 17:04:40 +0000]
large page changes
Patrick G. Bridges [Mon, 18 Oct 2010 22:26:50 +0000]
Still working on timer updates, heading towards being able to have a CPU
running at a different frequency than a host CPU.
Patrick G. Bridges [Thu, 14 Oct 2010 19:52:14 +0000]
Removed destination format (i.e. clustered logical vs. flat logical)
information from the io_apic since it doesn't know that. The hardware
spec requires that the guest program all apics on the ICC bus into consistent
format mode, either all clustered or all flat, and the irq routing destination
in the io-apic consistently with that, but the io-apic doesn't actually know
if the destination is flat or clustered.
Patrick G. Bridges [Tue, 12 Oct 2010 17:43:17 +0000]
Fixed ioapic bug that caused interrupt routing entries to be stored incorrectly and interrupts to be dispatched incorrectly in some modes
Lei Xia [Sun, 10 Oct 2010 04:19:59 +0000]
Remove the old vnet header file from include/device
Jack Lange [Thu, 7 Oct 2010 20:51:13 +0000]
32 bit compatibility fix
Peter Dinda [Wed, 6 Oct 2010 22:20:05 +0000]
v3_start_guest now exhibits the former behavior when
configured for linux - namely the current thread becomes the BP
and thus v3_start_guest blocks
Patrick G. Bridges [Wed, 6 Oct 2010 18:04:26 +0000]
Added more error checking from on what is returned by ezXML to not generate image for incomplete parse.
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
