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.


15 years agofixed all the printf style warnings/errors
Jack Lange [Wed, 22 Oct 2008 16:08:53 +0000]
fixed all the printf style warnings/errors

15 years agoEnable printf warnings on info/debug/trace os hooks
Trammell Hudson [Wed, 22 Oct 2008 15:40:43 +0000]
Enable printf warnings on info/debug/trace os hooks

15 years agoWired up keyboard interrupt to v3vee (and it works!).
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.

15 years agoFake IOAPIC address if there is no mptable found
Trammell Hudson [Wed, 22 Oct 2008 15:35:41 +0000]
Fake IOAPIC address if there is no mptable found

15 years agoImplemented vprintk() to allow V3VEE debug printfs to be forwarded to the console
Trammell Hudson [Wed, 22 Oct 2008 15:34:45 +0000]
Implemented vprintk() to allow V3VEE debug printfs to be forwarded to the console

15 years agoSilence warnings if CONFIG_V3VEE
Trammell Hudson [Wed, 22 Oct 2008 15:34:12 +0000]
Silence warnings if CONFIG_V3VEE

15 years agoRemoved acpi include directories
Trammell Hudson [Wed, 22 Oct 2008 14:18:41 +0000]
Removed acpi include directories

15 years agoDo not make oldconfig when building kitten
Trammell Hudson [Wed, 22 Oct 2008 14:16:28 +0000]
Do not make oldconfig when building kitten

15 years agofixed makefile to turn off vga
Jack Lange [Wed, 22 Oct 2008 02:27:23 +0000]
fixed makefile to turn off vga

15 years agofixed cdrom
Jack Lange [Wed, 22 Oct 2008 02:27:00 +0000]
fixed cdrom

15 years agofixed ins/outs and moved the gs.base save/restore point
Jack Lange [Wed, 22 Oct 2008 02:13:14 +0000]
fixed ins/outs and moved the gs.base save/restore point

15 years agoadded GS.BASE save/restore
Jack Lange [Wed, 22 Oct 2008 02:06:25 +0000]
added GS.BASE save/restore

15 years agoadded boot kitten2
Jack Lange [Wed, 22 Oct 2008 01:13:47 +0000]
added boot kitten2

15 years agofixed svm entry launch
Jack Lange [Wed, 22 Oct 2008 01:09:51 +0000]
fixed svm entry launch
added debugging

15 years agoDo not try to derefence current
Trammell Hudson [Wed, 22 Oct 2008 01:04:21 +0000]
Do not try to derefence current

15 years agoMerge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten
Trammell Hudson [Wed, 22 Oct 2008 00:54:33 +0000]
Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten

15 years agoDetect recursive page faults and halt
Trammell Hudson [Wed, 22 Oct 2008 00:53:58 +0000]
Detect recursive page faults and halt

15 years agoupdated to use pa_to_va address conversion
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

15 years agoReflowed some files to conform to Kitten style guide and
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.

15 years agoMerge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten
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

15 years agoV3VEE compiles. Segfaults, but the callback structures work.
Trammell Hudson [Tue, 21 Oct 2008 22:38:40 +0000]
V3VEE compiles.  Segfaults, but the callback structures work.

15 years agoMerge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev...
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

15 years agoMerge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev...
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

15 years agoFix warnings
Kevin Pedretti [Tue, 21 Oct 2008 22:10:46 +0000]
Fix warnings

15 years agoFirst glue logic
Peter Dinda [Tue, 21 Oct 2008 22:10:33 +0000]
First glue logic

15 years agoMerge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev...
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

15 years agoProtect IDT table with a spinlock
Kevin Pedretti [Tue, 21 Oct 2008 22:03:46 +0000]
Protect IDT table with a spinlock

15 years agoUse the puppy linux iso instead of the init_task for V3VEE development
Trammell Hudson [Tue, 21 Oct 2008 21:53:34 +0000]
Use the puppy linux iso instead of the init_task for V3VEE development

15 years agoBoot a 1 G kitten kernel under qemu
Trammell Hudson [Tue, 21 Oct 2008 21:51:52 +0000]
Boot a 1 G kitten kernel under qemu

15 years agoOutput total memory from e820 map
Trammell Hudson [Tue, 21 Oct 2008 21:49:53 +0000]
Output total memory from e820 map

15 years agoMerge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten
Trammell Hudson [Tue, 21 Oct 2008 21:33:03 +0000]
Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten

15 years agoPrototypes for kitten hooks to v3vee callbacks
Trammell Hudson [Tue, 21 Oct 2008 21:32:54 +0000]
Prototypes for kitten hooks to v3vee callbacks

15 years agochanged bios configuration method
Jack Lange [Tue, 21 Oct 2008 21:29:45 +0000]
changed bios configuration method

15 years agoTrammell is a doofus
Kevin Pedretti [Tue, 21 Oct 2008 21:18:10 +0000]
Trammell is a doofus

15 years agoRemoved mercurial files from git control.
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...

15 years agoAdded <lwk/palacios.h> header for all users of the V3VEE library to include.
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.

15 years agoForce git to create kitten/palacios subdirectory
Trammell Hudson [Tue, 21 Oct 2008 20:56:14 +0000]
Force git to create kitten/palacios subdirectory

15 years agoMerge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev...
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

15 years agoFix makefile
Kevin Pedretti [Tue, 21 Oct 2008 20:52:29 +0000]
Fix makefile

15 years agofixed xed clean issue
Jack Lange [Tue, 21 Oct 2008 20:51:28 +0000]
fixed xed clean issue

15 years agoMerge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev...
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

15 years agoLink in palacios
Kevin Pedretti [Tue, 21 Oct 2008 20:39:26 +0000]
Link in palacios

15 years agoupdated assembly to build in 64 bit mode
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

15 years agoMerge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev...
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

15 years agoMerge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev...
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

15 years agoadded 64bit support to makefiles
Jack Lange [Tue, 21 Oct 2008 20:16:35 +0000]
added 64bit support to makefiles

15 years agoFix gcc warning messages
Kevin Pedretti [Tue, 21 Oct 2008 20:15:46 +0000]
Fix gcc warning messages

15 years agoMerged changes and added CONFIG_V3VEE wrappers
Trammell Hudson [Tue, 21 Oct 2008 20:15:23 +0000]
Merged changes and added CONFIG_V3VEE wrappers

15 years agoMerge branch 'kitten' of ssh://sharedev@newskysaw.cs.northwestern.edu/home/sharedev...
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

15 years agoAdded CONFIG_V3VEE to kernel config file
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.

15 years agoadded call to palacios
Peter Dinda [Tue, 21 Oct 2008 20:09:23 +0000]
added call to palacios

15 years agoDo make config before building kitten first time
Kevin Pedretti [Tue, 21 Oct 2008 19:54:13 +0000]
Do make config before building kitten first time

15 years agoAdded kitten build target
Peter Dinda [Tue, 21 Oct 2008 19:50:55 +0000]
Added kitten build target

15 years agoAdded Kitten
Kevin Pedretti [Tue, 21 Oct 2008 19:30:25 +0000]
Added Kitten

15 years agomoved svm_lowlevel.asm over to gas syntax in svm_lowlevel.S
Jack Lange [Mon, 20 Oct 2008 22:58:12 +0000]
moved svm_lowlevel.asm over to gas syntax in svm_lowlevel.S

15 years agomoved vmm_lowlevel.asm to C header file vmm_lowlevel.h
Jack Lange [Mon, 20 Oct 2008 21:40:04 +0000]
moved vmm_lowlevel.asm to C header file vmm_lowlevel.h

15 years agoAdd XED library file for intel 64 (x86)
Lei Xia [Fri, 17 Oct 2008 19:10:02 +0000]
Add XED library file for intel 64 (x86)

15 years agoFixed a = versus == thing
Peter Dinda [Fri, 17 Oct 2008 16:58:26 +0000]
Fixed a = versus == thing

15 years agomore cleanup
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

15 years agomore namespace changes
Jack Lange [Thu, 16 Oct 2008 23:49:42 +0000]
more namespace changes
adding "v3_" prefixes
moving function prototypes into the __V3VEE__ macros

15 years agolarge scale namespace changes
Jack Lange [Thu, 16 Oct 2008 23:22:37 +0000]
large scale namespace changes
adding "v3_" prefix to prepare for kitten port

15 years agomoved bochs debug facilities to a virtual device
Jack Lange [Thu, 16 Oct 2008 22:29:48 +0000]
moved bochs debug facilities to a virtual device

15 years agoadded more selective debugging directives
Jack Lange [Thu, 16 Oct 2008 21:37:15 +0000]
added more selective debugging directives

15 years agotried to reduce compiler warnings, and cut down on debugging output
Jack Lange [Wed, 15 Oct 2008 21:58:50 +0000]
tried to reduce compiler warnings, and cut down on debugging output

15 years agofixed up includes for devices
Jack Lange [Wed, 15 Oct 2008 04:01:45 +0000]
fixed up includes for devices

15 years agoupdated devices to use new host event interface
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

15 years agoadded host event hooks interface
Jack Lange [Wed, 15 Oct 2008 02:21:36 +0000]
added host event hooks interface

15 years agoadded guest-iso directive to test vm makefile
Lei Xia [Tue, 14 Oct 2008 19:36:20 +0000]
added guest-iso directive to test vm makefile

15 years agoGeneral fixes and clean up
Jack Lange [Tue, 14 Oct 2008 19:22:04 +0000]
General fixes and clean up

15 years agofixed toc_length initialization bug
Jack Lange [Tue, 14 Oct 2008 19:21:54 +0000]
fixed toc_length initialization bug

15 years agoadded Iso Run file
Jack Lange [Mon, 13 Oct 2008 15:51:42 +0000]
added Iso Run file

15 years agoadded debugging output, DEBUG bug still an issue
Jack Lange [Sun, 12 Oct 2008 20:32:11 +0000]
added debugging output, DEBUG bug still an issue

15 years agoIDENTIFY DEVICE patch reverted for the time being
Jack Lange [Sat, 11 Oct 2008 00:21:21 +0000]
IDENTIFY DEVICE patch reverted for the time being

15 years agoadded new identify sub command (merged from CVS)
Jack Lange [Fri, 10 Oct 2008 22:20:35 +0000]
added new identify sub command (merged from CVS)

15 years agoreworked the interrupt injection to be guest specific
Jack Lange [Fri, 10 Oct 2008 00:06:13 +0000]
reworked the interrupt injection to be guest specific

15 years agominor fixes
Jack Lange [Wed, 8 Oct 2008 23:09:22 +0000]
minor fixes

15 years agowork around git issues
Jack Lange [Wed, 8 Oct 2008 23:07:04 +0000]
work around git issues

15 years agofixing the error in geekos' memcmp implementation
Jack Lange [Wed, 8 Oct 2008 06:29:27 +0000]
fixing the error in geekos' memcmp implementation

15 years agofixed ceil linking issue and net.c compile problems
Jack Lange [Tue, 7 Oct 2008 23:35:52 +0000]
fixed ceil linking issue and net.c compile problems
we now compile v3vee with machine local compiler while geekos is dependent on old version

15 years agoMerge branch '64bit' into 64bit-right
Jack Lange [Tue, 7 Oct 2008 23:26:05 +0000]
Merge branch '64bit' into 64bit-right

Conflicts:
geekos/build/Makefile
geekos/src/geekos/net.c

15 years agoupdated to 64 bits based on the wrong f#@$%ing trunk
Jack Lange [Tue, 7 Oct 2008 23:22:12 +0000]
updated to 64 bits based on the wrong f#@$%ing trunk

15 years agominor fixes
Jack Lange [Tue, 7 Oct 2008 22:25:34 +0000]
minor fixes

15 years agoadded a configuration structure for the binary inputs to the vmm (ramdisk, bios)
Jack Lange [Tue, 7 Oct 2008 18:33:51 +0000]
added a configuration structure for the binary inputs to the vmm (ramdisk, bios)
cleaned up some of the geekos networking issues
added dynamic registration of virtual cdroms
moved memory based cdrom over to the new registration method
changed vmm_config to reflect new ramdisk and configuration setup

15 years agoMerge branch 'lwip_dev' of ssh://palacios@localhost/home/palacios/palacios into lwip_dev
Lei Xia [Mon, 6 Oct 2008 22:50:37 +0000]
Merge branch 'lwip_dev' of ssh://palacios@localhost/home/palacios/palacios into lwip_dev

Conflicts:
build/RunPuppy.sh

15 years agobuild fix
Lei Xia [Mon, 6 Oct 2008 22:44:54 +0000]
build fix

15 years agotest
Lei Xia [Mon, 6 Oct 2008 22:42:44 +0000]
test

15 years agoSupport for lwIP switch on/off in Makefile
Lei Xia [Mon, 6 Oct 2008 22:01:38 +0000]
Support for lwIP switch on/off in Makefile

15 years agodisabled network initialization
Jack Lange [Mon, 6 Oct 2008 20:49:05 +0000]
disabled network initialization

15 years agolwip build fix
Lei Xia [Mon, 6 Oct 2008 17:28:23 +0000]
lwip build fix

15 years agobuild fixes
Lei Xia [Mon, 6 Oct 2008 17:27:02 +0000]
build fixes

15 years agoMerge branch 'lwip_dev' into devel
Lei Xia [Mon, 6 Oct 2008 17:11:11 +0000]
Merge branch 'lwip_dev' into devel

Conflicts:
palacios/build/Makefile
palacios/include/geekos/socket.h
palacios/src/geekos/net.c

15 years agoadded compatibility file for xed
Jack Lange [Mon, 6 Oct 2008 16:58:38 +0000]
added compatibility file for xed

15 years agostable compliation version with some running problems in kernel thread
Lei Xia [Mon, 6 Oct 2008 16:53:17 +0000]
stable compliation version with some running problems in kernel thread

15 years agobuild reorganization
Jack Lange [Mon, 6 Oct 2008 16:49:59 +0000]
build reorganization

15 years agoadded new copyright and license
Jack Lange [Fri, 3 Oct 2008 20:18:22 +0000]
added new copyright and license

15 years agominor bug fixes, and copyright additions
Jack Lange [Thu, 2 Oct 2008 23:06:39 +0000]
minor bug fixes, and copyright additions

15 years agofixed compile bug
Jack Lange [Thu, 2 Oct 2008 23:04:04 +0000]
fixed compile bug

15 years agoMerge branch 'ramdisk' into devel
Jack Lange [Thu, 2 Oct 2008 22:05:59 +0000]
Merge branch 'ramdisk' into devel

Conflicts:
palacios/include/devices/generic.h
palacios/include/geekos/timer.h
palacios/include/palacios/vmcs.h
palacios/include/palacios/vmcs_gen.h
palacios/src/devices/generic.c
palacios/src/palacios/vmm_config.c

15 years agoadded functioning ramdisk, makefile support
Jack Lange [Thu, 2 Oct 2008 22:00:15 +0000]
added functioning ramdisk, makefile support

15 years agotrying to deal with nvram bug, disabled for now
Jack Lange [Thu, 2 Oct 2008 21:59:57 +0000]
trying to deal with nvram bug, disabled for now