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

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

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

Output total memory from e820 map

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

Prototypes for kitten hooks to v3vee callbacks

changed bios configuration method

Trammell is a doofus

Removed mercurial files from git control.
They were creating spurious diffs and would never merge anyway...

Added <lwk/palacios.h> header for all users of the V3VEE library to include.
Safe to include even if CONFIG_V3VEE is not defined.
Print out debugging info on the ROM Bios location.

Force git to create kitten/palacios subdirectory

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

Fix makefile

fixed xed clean issue

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

Link in palacios

updated assembly to build in 64 bit mode
IMPORTANT 64 bit v3_svm_launch is not implemented

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

added 64bit support to makefiles

Fix gcc warning messages

Merged changes and added CONFIG_V3VEE wrappers

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

Added CONFIG_V3VEE to kernel config file
Added rombios and vgabios to kitten kernel if CONFIG_V3VEE is defined.
Link in libv3vee, xed and xed32e if CONFIG_V3VEE is defined.

added call to palacios

Do make config before building kitten first time

Added kitten build target

Added Kitten

moved svm_lowlevel.asm over to gas syntax in svm_lowlevel.S

moved vmm_lowlevel.asm to C header file vmm_lowlevel.h