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, 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
Jack Lange [Wed, 22 Oct 2008 01:09:51 +0000]
fixed svm entry launch
added debugging
Trammell Hudson [Wed, 22 Oct 2008 01:04:21 +0000]
Do not try to derefence current
Trammell Hudson [Wed, 22 Oct 2008 00:54:33 +0000]
Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten
Trammell Hudson [Wed, 22 Oct 2008 00:53:58 +0000]
Detect recursive page faults and halt
Jack Lange [Tue, 21 Oct 2008 23:44:50 +0000]
updated to use pa_to_va address conversion
now bombs out on first instruction of guest
Trammell Hudson [Tue, 21 Oct 2008 23:01:32 +0000]
Reflowed some files to conform to Kitten style guide and
replaced structure declarations with designated initializers.
Trammell Hudson [Tue, 21 Oct 2008 22:43:25 +0000]
Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten
Conflicts:
kitten/init/main.c
Trammell Hudson [Tue, 21 Oct 2008 22:38:40 +0000]
V3VEE compiles. Segfaults, but the callback structures work.
Kevin Pedretti [Tue, 21 Oct 2008 22:12:16 +0000]
Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev/palacios into kitten
Peter Dinda [Tue, 21 Oct 2008 22:11:58 +0000]
Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev/palacios into kitten
Kevin Pedretti [Tue, 21 Oct 2008 22:10:46 +0000]
Fix warnings
Peter Dinda [Tue, 21 Oct 2008 22:10:33 +0000]
First glue logic
Kevin Pedretti [Tue, 21 Oct 2008 22:07:41 +0000]
Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev/palacios into kitten
Kevin Pedretti [Tue, 21 Oct 2008 22:03:46 +0000]
Protect IDT table with a spinlock
Trammell Hudson [Tue, 21 Oct 2008 21:53:34 +0000]
Use the puppy linux iso instead of the init_task for V3VEE development
Trammell Hudson [Tue, 21 Oct 2008 21:51:52 +0000]
Boot a 1 G kitten kernel under qemu
Trammell Hudson [Tue, 21 Oct 2008 21:49:53 +0000]
Output total memory from e820 map
Trammell Hudson [Tue, 21 Oct 2008 21:33:03 +0000]
Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten
Trammell Hudson [Tue, 21 Oct 2008 21:32:54 +0000]
Prototypes for kitten hooks to v3vee callbacks
Jack Lange [Tue, 21 Oct 2008 21:29:45 +0000]
changed bios configuration method
Kevin Pedretti [Tue, 21 Oct 2008 21:18:10 +0000]
Trammell is a doofus
Trammell Hudson [Tue, 21 Oct 2008 21:10:24 +0000]
Removed mercurial files from git control.
They were creating spurious diffs and would never merge anyway...
Trammell Hudson [Tue, 21 Oct 2008 21:08:04 +0000]
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.
Trammell Hudson [Tue, 21 Oct 2008 20:56:14 +0000]
Force git to create kitten/palacios subdirectory
Kevin Pedretti [Tue, 21 Oct 2008 20:53:05 +0000]
Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev/palacios into kitten
Kevin Pedretti [Tue, 21 Oct 2008 20:52:29 +0000]
Fix makefile
Jack Lange [Tue, 21 Oct 2008 20:51:28 +0000]
fixed xed clean issue
Jack Lange [Tue, 21 Oct 2008 20:40:15 +0000]
Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev/palacios into kitten
Kevin Pedretti [Tue, 21 Oct 2008 20:39:26 +0000]
Link in palacios
Jack Lange [Tue, 21 Oct 2008 20:36:51 +0000]
updated assembly to build in 64 bit mode
IMPORTANT 64 bit v3_svm_launch is not implemented
Kevin Pedretti [Tue, 21 Oct 2008 20:20:06 +0000]
Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev/palacios into kitten
Jack Lange [Tue, 21 Oct 2008 20:17:01 +0000]
Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev/palacios into kitten
Jack Lange [Tue, 21 Oct 2008 20:16:35 +0000]
added 64bit support to makefiles
Kevin Pedretti [Tue, 21 Oct 2008 20:15:46 +0000]
Fix gcc warning messages
Trammell Hudson [Tue, 21 Oct 2008 20:15:23 +0000]
Merged changes and added CONFIG_V3VEE wrappers
Peter Dinda [Tue, 21 Oct 2008 20:10:34 +0000]
Merge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev/palacios into kitten
Trammell Hudson [Tue, 21 Oct 2008 20:09:58 +0000]
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.
Peter Dinda [Tue, 21 Oct 2008 20:09:23 +0000]
added call to palacios
Kevin Pedretti [Tue, 21 Oct 2008 19:54:13 +0000]
Do make config before building kitten first time
Peter Dinda [Tue, 21 Oct 2008 19:50:55 +0000]
Added kitten build target
Kevin Pedretti [Tue, 21 Oct 2008 19:30:25 +0000]
Added Kitten
Jack Lange [Mon, 20 Oct 2008 22:58:12 +0000]
moved svm_lowlevel.asm over to gas syntax in svm_lowlevel.S
Jack Lange [Mon, 20 Oct 2008 21:40:04 +0000]
moved vmm_lowlevel.asm to C header file vmm_lowlevel.h
Lei Xia [Fri, 17 Oct 2008 19:10:02 +0000]
Add XED library file for intel 64 (x86)
Peter Dinda [Fri, 17 Oct 2008 16:58:26 +0000]
Fixed a = versus == thing
Jack Lange [Fri, 17 Oct 2008 00:16:25 +0000]
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
Jack Lange [Thu, 16 Oct 2008 23:49:42 +0000]
more namespace changes
adding "v3_" prefixes
moving function prototypes into the __V3VEE__ macros
Jack Lange [Thu, 16 Oct 2008 23:22:37 +0000]
large scale namespace changes
adding "v3_" prefix to prepare for kitten port
Jack Lange [Thu, 16 Oct 2008 22:29:48 +0000]
moved bochs debug facilities to a virtual device
Jack Lange [Thu, 16 Oct 2008 21:37:15 +0000]
added more selective debugging directives
Jack Lange [Wed, 15 Oct 2008 21:58:50 +0000]
tried to reduce compiler warnings, and cut down on debugging output
Jack Lange [Wed, 15 Oct 2008 04:01:45 +0000]
fixed up includes for devices
Jack Lange [Wed, 15 Oct 2008 03:48:25 +0000]
updated devices to use new host event interface
updated GeekOS to use new host event interface
Jack Lange [Wed, 15 Oct 2008 02:21:36 +0000]
added host event hooks interface
