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

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

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

Removed acpi include directories

Do not make oldconfig when building kitten

fixed makefile to turn off vga

fixed cdrom

fixed ins/outs and moved the gs.base save/restore point

added GS.BASE save/restore

added boot kitten2

fixed svm entry launch
added debugging

Do not try to derefence current

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

Detect recursive page faults and halt

updated to use pa_to_va address conversion
now bombs out on first instruction of guest

Reflowed some files to conform to Kitten style guide and
replaced structure declarations with designated initializers.

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

Conflicts:
kitten/init/main.c

V3VEE compiles.  Segfaults, but the callback structures work.

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

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

Fix warnings

First glue logic

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

Protect IDT table with a spinlock

Use the puppy linux iso instead of the init_task for V3VEE development

Boot a 1 G kitten kernel under qemu