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 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

15 years agoadded header files
Jack Lange [Thu, 2 Oct 2008 05:59:56 +0000]
added header files

15 years agoreworked ramdisk now compiles, not tested
Jack Lange [Thu, 2 Oct 2008 05:51:05 +0000]
reworked ramdisk now compiles, not tested

15 years agobug fixes to generic
Jack Lange [Tue, 30 Sep 2008 23:37:33 +0000]
bug fixes to generic

15 years agoreworked the generic device to handle run time configurability
Jack Lange [Tue, 30 Sep 2008 23:22:43 +0000]
reworked the generic device to handle run time configurability

15 years agobug fix in deinit
Jack Lange [Tue, 30 Sep 2008 23:20:16 +0000]
bug fix in deinit

15 years agoadded more types
Jack Lange [Tue, 30 Sep 2008 23:18:47 +0000]
added more types

15 years agobug fix in deinit
Jack Lange [Tue, 30 Sep 2008 23:20:16 +0000]
bug fix in deinit

15 years agoadded more types
Jack Lange [Tue, 30 Sep 2008 23:18:47 +0000]
added more types

15 years agoremoved v3 reference from uip header
Jack Lange [Tue, 30 Sep 2008 23:13:53 +0000]
removed v3 reference from uip header

15 years agoremoved v3 reference from uip header
Jack Lange [Tue, 30 Sep 2008 23:13:53 +0000]
removed v3 reference from uip header

15 years agoremoved references to GeekOS and added some namespace changes,
Jack Lange [Tue, 30 Sep 2008 22:49:41 +0000]
removed references to GeekOS and added some namespace changes,
waiting to move debug functions from geekos to a virtual device

Conflicts:

palacios/src/devices/generic.c

15 years agoMerge branch 'lwip_dev' of /home/palacios/palacios into lwip_dev
Lei Xia [Tue, 30 Sep 2008 22:27:02 +0000]
Merge branch 'lwip_dev' of /home/palacios/palacios into lwip_dev

Conflicts:
palacios/src/lwip/arch/sys_arch.c

15 years agoCompilable version with both lwip and uip
Lei Xia [Tue, 30 Sep 2008 21:59:13 +0000]
Compilable version with both lwip and uip

15 years agoformatting change
Jack Lange [Tue, 30 Sep 2008 21:43:07 +0000]
formatting change

15 years agoimport of new ramdisk
Jack Lange [Tue, 30 Sep 2008 20:15:07 +0000]
import of new ramdisk

15 years agolwip/uip should not be dependent on any part of the VMM,
Jack Lange [Mon, 29 Sep 2008 20:21:32 +0000]
lwip/uip should not be dependent on any part of the VMM,
bug fix in string.c

15 years agoChange lwip system interface
Lei Xia [Mon, 29 Sep 2008 19:36:56 +0000]
Change lwip system interface

15 years agoMerge branch 'lwip_dev' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
Lei Xia [Mon, 29 Sep 2008 16:18:21 +0000]
Merge branch 'lwip_dev' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into lwip_dev

15 years agoNo change to file, just keep update
Lei Xia [Mon, 29 Sep 2008 16:17:43 +0000]
No change to file, just keep update

15 years agoadded support for timing out Cond_Wait's
Jack Lange [Mon, 29 Sep 2008 16:07:55 +0000]
added support for timing out Cond_Wait's
also added support for waking up specific threads by pid

15 years agoadded void * argument to timer callback
Jack Lange [Mon, 29 Sep 2008 15:46:45 +0000]
added void * argument to timer callback

15 years agoadded support for timing out Cond_Wait's
Jack Lange [Mon, 29 Sep 2008 16:07:55 +0000]
added support for timing out Cond_Wait's
also added support for waking up specific threads by pid

15 years agoadded void * argument to timer callback
Jack Lange [Mon, 29 Sep 2008 15:46:45 +0000]
added void * argument to timer callback

15 years agomodify sys_arch.c file
Lei Xia [Mon, 29 Sep 2008 02:39:14 +0000]
modify sys_arch.c file

15 years agoAdd lwIP support features
Lei Xia [Fri, 26 Sep 2008 23:03:50 +0000]
Add lwIP support features

15 years agoMerge branch 'lwip_dev' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
unknown [Fri, 26 Sep 2008 22:06:36 +0000]
Merge branch 'lwip_dev' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into lwip_dev

15 years agoAdd archtecture dependent stuffs for lwIP, mainly on lwip/arch/sys_arch.c
unknown [Fri, 26 Sep 2008 22:00:43 +0000]
Add archtecture dependent stuffs for lwIP, mainly on lwip/arch/sys_arch.c

15 years agoadded second and millisecond timer support
Jack Lange [Fri, 26 Sep 2008 21:48:27 +0000]
added second and millisecond timer support

15 years agoremoved defines for CR3
Jack Lange [Fri, 26 Sep 2008 21:51:17 +0000]
removed defines for CR3

15 years agoadded second and millisecond timer support
Jack Lange [Fri, 26 Sep 2008 21:48:27 +0000]
added second and millisecond timer support

15 years agoalmost done with the namespace protection via -D__V3VEE__ header wrappers
Jack Lange [Fri, 26 Sep 2008 21:04:10 +0000]
almost done with the namespace protection via -D__V3VEE__ header wrappers

15 years agoremoved references to GeekOS and added some namespace changes,
Jack Lange [Fri, 26 Sep 2008 19:56:14 +0000]
removed references to GeekOS and added some namespace changes,
waiting to move debug functions from geekos to a virtual device