git clone http://v3vee.org/palacios/palacios.web/palacios.git

  cd palacios
  git checkout --track -b devel origin/devel

64 bit guests initially supported

Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

added os_debug device

Merge branch 'devel' of /home/palacios/palacios into devel

fixed 64 bit PDE access check

fixed paging callbacks to normalize calling convention

functional but broken 64 bit paging

changed to error output

Remove the test code

Merge branch 'devel' of /home/palacios/palacios into devel

V3_Sockets Macros tested

cleaned up 32 bit shadow paging implementation

fixed spurious characters...

starting work on 64 bit shadow paging

Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel

change my email in Makefile

Finish the VMM Socket Layer

Finish the VMM Socket Layer

added list_tail_entry() accessor function

slight modifications to the shadow paging handlers

revamped the INVLPG handler

modified the shadow paging files to separate them based on CPU mode

profiler changes
nominal shadow paging optimization
Makefile documentation changes

some fixes

some fixes for profiling

added profiling support
and also added license to some files

changed shadow memory map to use Red Black Tree
cleaned up shadow memory map interface

fixed debug print syntax errors

changed the io_map implementation to use red-black trees instead of linked list

fixed instruction emulation for 64 bit machines

fixed debug flags...

working instruction emulation

added red-black tree implementation from linux

added test directory for unit test files

added initial attempt at emulator

fixed default build target

small fixes

stupid error fix

added sock_set functions for select() support

added socket interface

removed kitten from Makefile

removed kitten from the palacios tree,
Kitten is now an external dependency

moved debugging functions over to new page table callback interfaces

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

hooked in page table walkers for 64 bit page table activation
bug fixes

added to string function for page_type enumerator

added guest page table walkers

fixed a ton of compile errors...
I suck...

added page table walkers

added full page table access check functions

added pae+64 bit page table access checks
moved memory conversion functions to use new page table translate functions

added translation functions
fixed build errors

added the translation functions to the header file

added guest page table translators for 32/32PAE/64 page tables

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

fixed xed to handle SMSW instructions
FreeDOS works

cleaned up the PAGE table access macros to be general implementations that work across all page table forms
starting to add page table translators

moved paging debug functions to a separate file that gets included only into vmm_paging.c

unified and simplified the control register handlers to operate in all CPU modes

added mem_size config variable
not yet hooked up in the VMM
restructured the configuration

setting up framework for 64 bit shadow paging
streamlined geekos build

changed the CR3 conversion macros to be physical/virtual address specific

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

added full EFER virtualization

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...

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

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

fixed format string issues due to printf attribute checks

backed out support for long paged real mode

added 32 bit support for geekos

Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev/palacios into kitten

added 64 bit paging for paged real mode

Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten

Added auto-dependency tracking.
Quieted build output.
Removed old targets and cleaned up some targets.

Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev/palacios into kitten

changed VMCB to enter long paged real mode(?) if it exists.

It works!
- Fixed CR3 addresses to be kernel virtual addresses before
dereferencing them.
- Re-arranged v3_handle_shadow_invlpg()

Improve panic message if asked to free a bad page

Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten

fixed shadow paging up to the next error

more printf format fixes

Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten

typecast fix

Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten

added address conversion to cached CR3 value

Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten

typecasting fix

No changes.

Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten

fixed address conversion for CR3

Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten

Better reporting when vmm exits

Re-enable debug printks from guest

Added runtime option to print cpu number on each line

fixed all the printf style warnings/errors

Enable printf warnings on info/debug/trace os hooks

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.

Fake IOAPIC address if there is no mptable found

Implemented vprintk() to allow V3VEE debug printfs to be forwarded to the console

Silence warnings if CONFIG_V3VEE