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

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

Merge branch 'devel'

fixed format string issues due to printf attribute checks

Merge branch 'devel'

Conflicts:
palacios/include/devices/generic.h
palacios/src/devices/ramdisk.c

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

Add XED library file for intel 64 (x86)

Fixed a = versus == thing

more cleanup
removed interrupt control function pointers from struct guest_info
moved v3_reg_t typedef to vmm_types.h
removed paging_mode_t typedef from shadow paging implementation

more namespace changes
adding "v3_" prefixes
moving function prototypes into the __V3VEE__ macros

large scale namespace changes
adding "v3_" prefix to prepare for kitten port

moved bochs debug facilities to a virtual device

added more selective debugging directives

tried to reduce compiler warnings, and cut down on debugging output

fixed up includes for devices

updated devices to use new host event interface
updated GeekOS to use new host event interface

added host event hooks interface

added guest-iso directive to test vm makefile

added guest-iso directive to test vm makefile

fixed toc_length initialization bug

Conflicts:

palacios/src/devices/cdrom.c
palacios/src/devices/ramdisk.c

General fixes and clean up