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, 4 Feb 2009 04:44:37 +0000]
fixed 64 bit PDE access check
Jack Lange [Wed, 4 Feb 2009 04:40:25 +0000]
fixed paging callbacks to normalize calling convention
Jack Lange [Wed, 4 Feb 2009 04:30:10 +0000]
functional but broken 64 bit paging
Jack Lange [Wed, 4 Feb 2009 04:29:29 +0000]
changed to error output
Jack Lange [Tue, 3 Feb 2009 22:38:21 +0000]
cleaned up 32 bit shadow paging implementation
Jack Lange [Tue, 3 Feb 2009 22:38:03 +0000]
fixed spurious characters...
Jack Lange [Tue, 3 Feb 2009 22:19:08 +0000]
starting work on 64 bit shadow paging
Lei Xia [Tue, 3 Feb 2009 22:09:59 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel
Lei Xia [Tue, 3 Feb 2009 22:09:18 +0000]
change my email in Makefile
Lei Xia [Tue, 3 Feb 2009 21:43:29 +0000]
Finish the VMM Socket Layer
Lei Xia [Tue, 3 Feb 2009 21:42:50 +0000]
Finish the VMM Socket Layer
Jack Lange [Tue, 3 Feb 2009 21:34:20 +0000]
added list_tail_entry() accessor function
Jack Lange [Tue, 3 Feb 2009 20:50:55 +0000]
slight modifications to the shadow paging handlers
Jack Lange [Tue, 3 Feb 2009 20:45:02 +0000]
revamped the INVLPG handler
Jack Lange [Tue, 3 Feb 2009 20:13:04 +0000]
modified the shadow paging files to separate them based on CPU mode
Jack Lange [Fri, 30 Jan 2009 01:25:00 +0000]
profiler changes
nominal shadow paging optimization
Makefile documentation changes
Jack Lange [Fri, 30 Jan 2009 00:02:05 +0000]
some fixes
Jack Lange [Thu, 29 Jan 2009 22:10:49 +0000]
some fixes for profiling
Jack Lange [Thu, 29 Jan 2009 04:57:09 +0000]
added profiling support
and also added license to some files
Jack Lange [Wed, 28 Jan 2009 23:37:08 +0000]
changed shadow memory map to use Red Black Tree
cleaned up shadow memory map interface
Jack Lange [Wed, 28 Jan 2009 23:36:36 +0000]
fixed debug print syntax errors
Jack Lange [Wed, 28 Jan 2009 00:31:54 +0000]
changed the io_map implementation to use red-black trees instead of linked list
Jack Lange [Tue, 27 Jan 2009 21:07:20 +0000]
fixed instruction emulation for 64 bit machines
Jack Lange [Tue, 27 Jan 2009 20:46:00 +0000]
fixed debug flags...
Jack Lange [Sun, 25 Jan 2009 21:12:26 +0000]
working instruction emulation
Jack Lange [Wed, 21 Jan 2009 23:25:02 +0000]
added red-black tree implementation from linux
Jack Lange [Wed, 21 Jan 2009 00:20:02 +0000]
added test directory for unit test files
Jack Lange [Wed, 17 Dec 2008 23:02:57 +0000]
added initial attempt at emulator
Jack Lange [Thu, 4 Dec 2008 21:25:50 +0000]
fixed default build target
Jack Lange [Mon, 1 Dec 2008 23:28:49 +0000]
small fixes
Jack Lange [Tue, 25 Nov 2008 00:41:19 +0000]
stupid error fix
Jack Lange [Tue, 25 Nov 2008 00:36:15 +0000]
added sock_set functions for select() support
Jack Lange [Mon, 24 Nov 2008 21:36:10 +0000]
added socket interface
Jack Lange [Thu, 20 Nov 2008 22:35:31 +0000]
removed kitten from Makefile
Jack Lange [Thu, 20 Nov 2008 22:28:07 +0000]
removed kitten from the palacios tree,
Kitten is now an external dependency
Jack Lange [Tue, 4 Nov 2008 00:36:43 +0000]
moved debugging functions over to new page table callback interfaces
Jack Lange [Mon, 3 Nov 2008 23:55:18 +0000]
reworked the paging functions
*_lookup functions are now static local to vmm_paging.c and no longer return byte offsets for leaf pages
added page table drill functions
moved translate and access check functions over to drill implementations
Jack Lange [Fri, 31 Oct 2008 23:25:45 +0000]
hooked in page table walkers for 64 bit page table activation
bug fixes
Jack Lange [Fri, 31 Oct 2008 23:12:11 +0000]
added to string function for page_type enumerator
Jack Lange [Fri, 31 Oct 2008 23:05:16 +0000]
added guest page table walkers
Jack Lange [Fri, 31 Oct 2008 22:33:35 +0000]
fixed a ton of compile errors...
I suck...
Jack Lange [Fri, 31 Oct 2008 22:20:28 +0000]
added page table walkers
Jack Lange [Fri, 31 Oct 2008 21:00:13 +0000]
added full page table access check functions
Jack Lange [Fri, 31 Oct 2008 19:36:06 +0000]
added pae+64 bit page table access checks
moved memory conversion functions to use new page table translate functions
Jack Lange [Fri, 31 Oct 2008 18:22:57 +0000]
added translation functions
fixed build errors
Jack Lange [Thu, 30 Oct 2008 23:59:38 +0000]
added the translation functions to the header file
Jack Lange [Thu, 30 Oct 2008 23:56:23 +0000]
added guest page table translators for 32/32PAE/64 page tables
Jack Lange [Thu, 30 Oct 2008 23:14:30 +0000]
added lookup functions for all page table forms,
generalized the return types for the lookup functions
updated source tree to match
added large page forms for pae and 64 bit page tables
Jack Lange [Thu, 30 Oct 2008 22:15:05 +0000]
fixed xed to handle SMSW instructions
FreeDOS works
Jack Lange [Thu, 30 Oct 2008 22:14:01 +0000]
cleaned up the PAGE table access macros to be general implementations that work across all page table forms
starting to add page table translators
Jack Lange [Thu, 30 Oct 2008 19:55:40 +0000]
moved paging debug functions to a separate file that gets included only into vmm_paging.c
Jack Lange [Thu, 30 Oct 2008 05:30:57 +0000]
unified and simplified the control register handlers to operate in all CPU modes
Jack Lange [Thu, 30 Oct 2008 05:30:17 +0000]
added mem_size config variable
not yet hooked up in the VMM
restructured the configuration
Jack Lange [Wed, 29 Oct 2008 21:48:02 +0000]
setting up framework for 64 bit shadow paging
streamlined geekos build
Jack Lange [Wed, 29 Oct 2008 19:04:51 +0000]
changed the CR3 conversion macros to be physical/virtual address specific
Jack Lange [Wed, 29 Oct 2008 17:47:59 +0000]
restructured the ctrl register handlers
setting up the ctrl registers to call into the shadow paging subsystem for all shadow page operations
removed redundant shadow_cr3 variable from shadow paging state
Jack Lange [Wed, 29 Oct 2008 00:01:26 +0000]
added full EFER virtualization
Jack Lange [Tue, 28 Oct 2008 23:54:50 +0000]
added more 64 bit support,
moved around the control register handlers to segregate the different CPU modes
NOTE: They currently work, but they are wrong...
Jack Lange [Mon, 27 Oct 2008 22:50:04 +0000]
more 64 bit guest support
we can mostly handle efer reads/writes
we can transition direct mapped page tables from 32 bit to 64 bit formats
added Page Table debugging support
Jack Lange [Mon, 27 Oct 2008 21:05:51 +0000]
added MSR hook framework
added preliminary CR4 write handler, to handle PAE mode switch
added passthrough 32bit PAE page tables for non-paged 32 bit PAE mode
Jack Lange [Sun, 26 Oct 2008 01:18:07 +0000]
fixed format string issues due to printf attribute checks
Jack Lange [Sat, 25 Oct 2008 18:35:21 +0000]
backed out support for long paged real mode
Jack Lange [Sat, 25 Oct 2008 17:54:54 +0000]
added 32 bit support for geekos
Jack Lange [Wed, 22 Oct 2008 23:28:33 +0000]
Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev/palacios into kitten
Jack Lange [Wed, 22 Oct 2008 23:28:20 +0000]
added 64 bit paging for paged real mode
Trammell Hudson [Wed, 22 Oct 2008 23:27:02 +0000]
Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten
Trammell Hudson [Wed, 22 Oct 2008 23:25:27 +0000]
Added auto-dependency tracking.
Quieted build output.
Removed old targets and cleaned up some targets.
Jack Lange [Wed, 22 Oct 2008 22:12:55 +0000]
Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev/palacios into kitten
Jack Lange [Wed, 22 Oct 2008 22:11:19 +0000]
changed VMCB to enter long paged real mode(?) if it exists.
Trammell Hudson [Wed, 22 Oct 2008 20:32:14 +0000]
It works!
- Fixed CR3 addresses to be kernel virtual addresses before
dereferencing them.
- Re-arranged v3_handle_shadow_invlpg()
Trammell Hudson [Wed, 22 Oct 2008 20:31:36 +0000]
Improve panic message if asked to free a bad page
Trammell Hudson [Wed, 22 Oct 2008 18:50:26 +0000]
Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten
Jack Lange [Wed, 22 Oct 2008 18:47:48 +0000]
fixed shadow paging up to the next error
Jack Lange [Wed, 22 Oct 2008 16:45:01 +0000]
more printf format fixes
Trammell Hudson [Wed, 22 Oct 2008 16:43:44 +0000]
Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten
Jack Lange [Wed, 22 Oct 2008 16:43:25 +0000]
typecast fix
Trammell Hudson [Wed, 22 Oct 2008 16:42:41 +0000]
Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten
Jack Lange [Wed, 22 Oct 2008 16:42:09 +0000]
added address conversion to cached CR3 value
Trammell Hudson [Wed, 22 Oct 2008 16:35:42 +0000]
Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten
Jack Lange [Wed, 22 Oct 2008 16:35:13 +0000]
typecasting fix
Trammell Hudson [Wed, 22 Oct 2008 16:34:55 +0000]
No changes.
Trammell Hudson [Wed, 22 Oct 2008 16:33:38 +0000]
Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten
Jack Lange [Wed, 22 Oct 2008 16:31:26 +0000]
fixed address conversion for CR3
Trammell Hudson [Wed, 22 Oct 2008 16:10:42 +0000]
Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten
Trammell Hudson [Wed, 22 Oct 2008 16:10:36 +0000]
Better reporting when vmm exits
Trammell Hudson [Wed, 22 Oct 2008 16:10:23 +0000]
Re-enable debug printks from guest
Trammell Hudson [Wed, 22 Oct 2008 16:09:55 +0000]
Added runtime option to print cpu number on each line
Jack Lange [Wed, 22 Oct 2008 16:08:53 +0000]
fixed all the printf style warnings/errors
Trammell Hudson [Wed, 22 Oct 2008 15:40:43 +0000]
Enable printf warnings on info/debug/trace os hooks
Trammell Hudson [Wed, 22 Oct 2008 15:36:02 +0000]
Wired up keyboard interrupt to v3vee (and it works!).
Silenced all warnings in kitten build.
Removed dead prototypes in palacios.h.
Fixed race in delivering keyboard interrupt to v3vee before guest was started.
Depends on having IOAPIC configured to generate keyboard interrupts.
Trammell Hudson [Wed, 22 Oct 2008 15:35:41 +0000]
Fake IOAPIC address if there is no mptable found
Trammell Hudson [Wed, 22 Oct 2008 15:34:45 +0000]
Implemented vprintk() to allow V3VEE debug printfs to be forwarded to the console
Trammell Hudson [Wed, 22 Oct 2008 15:34:12 +0000]
Silence warnings if CONFIG_V3VEE
Trammell Hudson [Wed, 22 Oct 2008 14:18:41 +0000]
Removed acpi include directories
Trammell Hudson [Wed, 22 Oct 2008 14:16:28 +0000]
Do not make oldconfig when building kitten
Jack Lange [Wed, 22 Oct 2008 02:27:23 +0000]
fixed makefile to turn off vga
Jack Lange [Wed, 22 Oct 2008 02:27:00 +0000]
fixed cdrom
Jack Lange [Wed, 22 Oct 2008 02:13:14 +0000]
fixed ins/outs and moved the gs.base save/restore point
Jack Lange [Wed, 22 Oct 2008 02:06:25 +0000]
added GS.BASE save/restore
Jack Lange [Wed, 22 Oct 2008 01:13:47 +0000]
added boot kitten2