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.


13 years agoupdate page free interface to allow freeing of multiple pages (needed for linux)
Jack Lange [Fri, 19 Nov 2010 03:44:07 +0000]
update page free interface to allow freeing of multiple pages (needed for linux)

13 years agoadded some more device unregister functions
Jack Lange [Fri, 19 Nov 2010 03:31:12 +0000]
added some more device unregister functions

13 years agotimer interface updates to allow state cleanup on exit
Jack Lange [Fri, 19 Nov 2010 02:48:09 +0000]
timer interface updates to allow state cleanup on exit

13 years agoargument order fix
Jack Lange [Thu, 18 Nov 2010 19:32:18 +0000]
argument order fix

13 years agoupdated file interface
Jack Lange [Thu, 18 Nov 2010 19:18:23 +0000]
updated file interface

13 years agoparanoid check
Jack Lange [Thu, 18 Nov 2010 19:18:16 +0000]
paranoid check

13 years agoMerge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel
Jack Lange [Thu, 18 Nov 2010 18:57:00 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

13 years agoupdated the socket interface
Jack Lange [Thu, 18 Nov 2010 18:56:57 +0000]
updated the socket interface

13 years agoadd raw packet interface
Lei Xia [Thu, 18 Nov 2010 17:30:48 +0000]
add raw packet interface

13 years agoRemove the Linux host bridge code in Palacios
Lei Xia [Wed, 17 Nov 2010 20:47:02 +0000]
Remove the Linux host bridge code in Palacios

13 years agoMinor fix on VNET config
Lei Xia [Wed, 17 Nov 2010 20:40:02 +0000]
Minor fix on VNET config

13 years agoMore clean on VNET codes
Lei Xia [Wed, 17 Nov 2010 20:38:27 +0000]
More clean on VNET codes

13 years agoVNET code clean and rearrangement
Lei Xia [Wed, 17 Nov 2010 18:58:10 +0000]
VNET code clean and rearrangement

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Lei Xia [Wed, 17 Nov 2010 06:39:30 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

13 years agoupdated build process to map common symbols out of the .bss
Jack Lange [Wed, 17 Nov 2010 05:58:07 +0000]
updated build process to map common symbols out of the .bss

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Lei Xia [Mon, 15 Nov 2010 22:44:03 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

13 years agoMerge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel
Jack Lange [Mon, 15 Nov 2010 20:11:04 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

13 years agoadded error checking to svm initialization
Jack Lange [Mon, 15 Nov 2010 20:11:00 +0000]
added error checking to svm initialization

13 years agoadded console host event
Jack Lange [Mon, 15 Nov 2010 19:50:36 +0000]
added console host event

13 years agoadded vnet dependency
Jack Lange [Mon, 15 Nov 2010 19:50:18 +0000]
added vnet dependency

13 years agomoved the host_private_data assignment to earlier in the configuration phase to make...
Jack Lange [Mon, 15 Nov 2010 19:49:29 +0000]
moved the host_private_data assignment to earlier in the configuration phase to make sure its available to initialization function

13 years agofixed missing initialization in bochs console
Jack Lange [Mon, 15 Nov 2010 19:47:11 +0000]
fixed missing initialization in bochs console

13 years agoRename vmm_vnet.c to vmm_vnet_core.c
Lei Xia [Fri, 12 Nov 2010 16:18:20 +0000]
Rename vmm_vnet.c to vmm_vnet_core.c

13 years agoFixed (hopefully) bug introduced previously by moving update_timers outside of the...
Patrick G. Bridges [Thu, 11 Nov 2010 18:22:31 +0000]
Fixed (hopefully) bug introduced previously by moving update_timers outside of the interrupt clocking in enter_vm(). Also a few miscellaneous debugging config/print changes

13 years agocompilation fix
Jack Lange [Wed, 10 Nov 2010 23:49:12 +0000]
compilation fix

13 years agoadded dimension flags to console hooks
Jack Lange [Wed, 10 Nov 2010 23:33:45 +0000]
added dimension flags to console hooks

13 years agoreworked the console hooks
Jack Lange [Wed, 10 Nov 2010 22:35:46 +0000]
reworked the console hooks

13 years agomoved CONSOLE host event to SERIAL host event
Jack Lange [Wed, 10 Nov 2010 21:23:06 +0000]
moved CONSOLE host event to SERIAL host event

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Lei Xia [Wed, 10 Nov 2010 19:07:46 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

13 years agoFix to virtio vnet device
Lei Xia [Wed, 10 Nov 2010 19:07:40 +0000]
Fix to virtio vnet device

13 years agoMinor debugging print changes/fixups
Patrick G. Bridges [Wed, 10 Nov 2010 15:57:14 +0000]
Minor debugging print changes/fixups

13 years agoUpdate char_stream device for virtual console input event
Lei Xia [Wed, 10 Nov 2010 04:27:06 +0000]
Update char_stream device for virtual console input event

13 years agoadd the virtual console input as a host event
Lei Xia [Wed, 10 Nov 2010 03:38:41 +0000]
add the virtual console input as a host event
clean VNET code

13 years agoadd VNET bridge for Linux Host
Lei Xia [Tue, 9 Nov 2010 21:35:29 +0000]
add VNET bridge for Linux Host

13 years agosome renaming
Jack Lange [Tue, 9 Nov 2010 21:09:44 +0000]
some renaming

13 years agominor fix
Jack Lange [Tue, 9 Nov 2010 21:04:37 +0000]
minor fix

13 years agoupdated stream device
Jack Lange [Tue, 9 Nov 2010 21:03:26 +0000]
updated stream device

13 years agoupdated serial device
Jack Lange [Tue, 9 Nov 2010 20:51:58 +0000]
updated serial device

13 years agoadded char device operations to device manager
Jack Lange [Tue, 9 Nov 2010 20:03:01 +0000]
added char device operations to device manager

13 years agoupdated stream API
Jack Lange [Tue, 9 Nov 2010 19:24:07 +0000]
updated stream API

13 years agoupdated file interface
Jack Lange [Tue, 9 Nov 2010 00:19:00 +0000]
updated file interface

13 years agomerge fix and changed file interface
Jack Lange [Tue, 9 Nov 2010 00:05:57 +0000]
merge fix and changed file interface

13 years agoMerge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel
Jack Lange [Mon, 8 Nov 2010 22:36:19 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

Conflicts:

palacios/include/palacios/vmm.h

13 years agoreworked the launch code
Jack Lange [Mon, 8 Nov 2010 22:35:09 +0000]
reworked the launch code

13 years agoreworked launch code
Jack Lange [Mon, 8 Nov 2010 22:30:05 +0000]
reworked launch code

14 years agoclean up on VNET code
Lei Xia [Mon, 8 Nov 2010 20:50:40 +0000]
clean up on VNET code

14 years agoremove the reparant_threadd function from host os hooks
Lei Xia [Mon, 8 Nov 2010 20:14:24 +0000]
remove the reparant_threadd function from host os hooks

14 years agofix
Lei Xia [Mon, 8 Nov 2010 20:03:00 +0000]
fix

14 years agoremoved reparent callback
Jack Lange [Mon, 8 Nov 2010 19:52:03 +0000]
removed reparent callback

14 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Lei Xia [Mon, 8 Nov 2010 19:43:41 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Conflicts:

palacios/include/palacios/vmm.h
palacios/src/devices/serial.c

14 years agovirtual console works with stream-serial implementation
Lei Xia [Mon, 8 Nov 2010 19:41:51 +0000]
virtual console works with stream-serial implementation
add reparent_threadd os hooks, In Linux host, every kernel thread created in Palacios
has to call reparent_threadd to detach itself from the user process.

14 years agoadded configurable host OS thread support
Jack Lange [Sun, 7 Nov 2010 18:18:42 +0000]
added configurable host OS thread support

14 years agoadded run state checks to the vm run loops to allow stopping of VMs
Jack Lange [Fri, 5 Nov 2010 22:43:46 +0000]
added run state checks to the vm run loops to allow stopping of VMs

14 years agoadded user space symbol inclusion to Kconfig
Jack Lange [Fri, 5 Nov 2010 22:38:51 +0000]
added user space symbol inclusion to Kconfig

14 years agowrapped decoder address check in shadow paging check
Jack Lange [Fri, 5 Nov 2010 22:03:41 +0000]
wrapped decoder address check in shadow paging check

14 years agofix 32 bit vmx entry to match i386/gcc calling conventions
Jack Lange [Fri, 5 Nov 2010 21:33:47 +0000]
fix 32 bit vmx entry to match i386/gcc calling conventions

14 years agoThis patch contains various small fixes. Some are MINIX-specific, some are general.
Erik van der Kouwe [Fri, 5 Nov 2010 21:19:47 +0000]
This patch contains various small fixes. Some are MINIX-specific, some are general.

14 years agoadded v3_stop_vm prototype and exported it to the host OS interface
Jack Lange [Fri, 5 Nov 2010 21:18:46 +0000]
added v3_stop_vm prototype and exported it to the host OS interface

14 years agoadded framework for stopping guest execution
Jack Lange [Fri, 5 Nov 2010 21:09:44 +0000]
added framework for stopping guest execution

14 years agoReplaces C++-style comments (// ...) with C-style comments (/* ... */) in header...
Erik van der Kouwe [Fri, 5 Nov 2010 20:59:18 +0000]
Replaces C++-style comments (// ...) with C-style comments (/* ... */) in header files that I need to use in MINIX. I need this because MINIX uses an older C standard.

14 years agofixed write hook tmp page for ANY_CORE hooked pages
Jack Lange [Fri, 5 Nov 2010 18:19:19 +0000]
fixed write hook tmp page for ANY_CORE hooked pages

14 years agominor fix on reference of v3_init_vnet
Lei Xia [Thu, 4 Nov 2010 14:18:13 +0000]
minor fix on reference of v3_init_vnet

14 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Lei Xia [Thu, 4 Nov 2010 14:15:13 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Conflicts:

palacios/src/devices/serial.c
palacios/src/devices/stream.c

14 years agoadd stream-serial device interface
Lei Xia [Thu, 4 Nov 2010 14:12:28 +0000]
add stream-serial device interface

14 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Peter Dinda [Wed, 3 Nov 2010 20:56:14 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

14 years agoFixed minor bug with computing memory size due to type conversion.
Patrick G. Bridges [Wed, 3 Nov 2010 20:04:38 +0000]
Fixed minor bug with computing memory size due to type conversion.

14 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Lei Xia [Wed, 3 Nov 2010 20:03:54 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

14 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Lei Xia [Wed, 3 Nov 2010 20:03:52 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Conflicts:

palacios/src/palacios/vmm.c

14 years agostream implementation and interface between searial device and stream
Lei Xia [Wed, 3 Nov 2010 20:02:15 +0000]
stream implementation and interface between searial device and stream
incomplete yet

14 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Peter Dinda [Wed, 3 Nov 2010 19:24:51 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Conflicts:

palacios/src/palacios/vmm.c

14 years agoFixed cluster/fixed dst_fmt usage in apic.c; revised default.xml for new APIC change
Patrick G. Bridges [Mon, 1 Nov 2010 17:46:34 +0000]
Fixed cluster/fixed dst_fmt usage in apic.c; revised default.xml for new APIC change

14 years agominor fixes. Can now successfully boot up when Qemu rarely exposes a plausible TSC...
Jack Lange [Fri, 29 Oct 2010 23:04:26 +0000]
minor fixes. Can now successfully boot up when Qemu rarely exposes a plausible TSC rate.

14 years agocompilation fixes
Jack Lange [Fri, 29 Oct 2010 21:42:49 +0000]
compilation fixes

14 years agoMerge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel
Jack Lange [Fri, 29 Oct 2010 21:41:03 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

Conflicts:

palacios/src/devices/apic.c

14 years agofixed apic/ioapic interface
Jack Lange [Fri, 29 Oct 2010 21:39:48 +0000]
fixed apic/ioapic interface

14 years agoModifications to make apic.c compile with PrintDebug on. io_apic/apic interactions...
Patrick G. Bridges [Fri, 29 Oct 2010 21:39:41 +0000]
Modifications to make apic.c compile with PrintDebug on. io_apic/apic interactions are still currently broken.

14 years agoadded final ipi_state transition
Jack Lange [Wed, 27 Oct 2010 17:45:47 +0000]
added final ipi_state transition

14 years agomore multicore fixes
Jack Lange [Wed, 27 Oct 2010 16:10:21 +0000]
more multicore fixes

14 years agominor clean up fixes and debugging
Jack Lange [Wed, 27 Oct 2010 15:28:31 +0000]
minor clean up fixes and debugging

14 years agoFixed a truly stupid mistake....
Jack Lange [Wed, 27 Oct 2010 15:27:08 +0000]
Fixed a truly stupid mistake....

14 years agoremove icc_bus references
Jack Lange [Wed, 27 Oct 2010 04:36:21 +0000]
remove icc_bus references

14 years agoremoved icc bus
Jack Lange [Wed, 27 Oct 2010 04:32:40 +0000]
removed icc bus

14 years agoRemoved a lot of the highly specific multicore code from the general core VMM code
Jack Lange [Tue, 26 Oct 2010 23:24:51 +0000]
Removed a lot of the highly specific multicore code from the general core VMM code

The ICC BUS is broken because it still hasn't been merged into the APIC

14 years agoMerge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel
Jack Lange [Mon, 25 Oct 2010 22:38:09 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

14 years agoadded private data pointer to per vm state...
Jack Lange [Mon, 25 Oct 2010 22:38:05 +0000]
added private data pointer to per vm state...

This is going to break the host interface.

14 years agoMerge branch 'devel' into timer_control
Patrick G. Bridges [Mon, 25 Oct 2010 19:28:47 +0000]
Merge branch 'devel' into timer_control

14 years agoMinor changes to debugging, change to Makefile to support building TAGS files, added...
Patrick G. Bridges [Mon, 25 Oct 2010 19:25:58 +0000]
Minor changes to debugging, change to Makefile to support building TAGS files, added initial support for INIT/SIPI modes to vmx.c but multicore VMX still not yet working

14 years agogeekos test kernel build fixes
Jack Lange [Thu, 21 Oct 2010 23:26:46 +0000]
geekos test kernel build fixes

14 years agoMore minor fixes on time keeping. VMM clock now appears to be essentially accurate...
Patrick G. Bridges [Thu, 21 Oct 2010 17:22:21 +0000]
More minor fixes on time keeping. VMM clock now appears to be essentially accurate to real time on QEMU

14 years agosome fixes to caching, still segfaults at the init process
Jack Lange [Wed, 20 Oct 2010 23:03:00 +0000]
some fixes to caching, still segfaults at the init process

14 years agoMore minor updates for handling time. Virtually slower CPUs seem to be working, so...
Patrick G. Bridges [Wed, 20 Oct 2010 22:28:26 +0000]
More minor updates for handling time. Virtually slower CPUs seem to be working, so that in a core, you can specify khz="1000000" and the VMM will slow down that particular core by yielding the CPU back to the host when necessary. Still need to test/debug on real hardware as opposed to QEMU.

14 years agoAttempts to support virutally slower processors - broken!
Patrick G. Bridges [Wed, 20 Oct 2010 21:57:06 +0000]
Attempts to support virutally slower processors - broken!

14 years agoMinor cleanups on time handling.
Patrick G. Bridges [Wed, 20 Oct 2010 19:27:37 +0000]
Minor cleanups on time handling.

14 years agoinitial shadow page cache version
Jack Lange [Wed, 20 Oct 2010 19:23:20 +0000]
initial shadow page cache version

14 years agoMerge branch 'devel' into timer_control
Patrick G. Bridges [Tue, 19 Oct 2010 21:30:59 +0000]
Merge branch 'devel' into timer_control

14 years agoMinor compile fix.
Patrick G. Bridges [Tue, 19 Oct 2010 20:18:34 +0000]
Minor compile fix.

14 years agoFixed merge of apic.c
Patrick G. Bridges [Tue, 19 Oct 2010 20:16:04 +0000]
Fixed merge of apic.c

14 years agoMore updates getting basic version of time handling working.
Patrick G. Bridges [Tue, 19 Oct 2010 20:13:04 +0000]
More updates getting basic version of time handling working.

14 years agoremove debugging
Jack Lange [Tue, 19 Oct 2010 17:08:18 +0000]
remove debugging

14 years agolarge page changes
Jack Lange [Tue, 19 Oct 2010 17:04:40 +0000]
large page changes