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 agodeallocation of devices
Jack Lange [Tue, 23 Nov 2010 22:56:54 +0000]
deallocation of devices

13 years agoFix to the piix3
Lei Xia [Tue, 23 Nov 2010 18:47:00 +0000]
Fix to the piix3

13 years agoremoved io port check for northbridge
Jack Lange [Tue, 23 Nov 2010 17:11:16 +0000]
removed io port check for northbridge

13 years agoMinor fix
Lei Xia [Tue, 23 Nov 2010 17:05:43 +0000]
Minor fix

13 years agoMerge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel
Jack Lange [Tue, 23 Nov 2010 16:31:34 +0000]
Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

13 years agochanged device registration interface
Jack Lange [Tue, 23 Nov 2010 16:31:26 +0000]
changed device registration interface

13 years agoMerge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
Lei Xia [Tue, 23 Nov 2010 04:00:52 +0000]
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Conflicts:

palacios/src/devices/nic_bridge.c

13 years agoMore fix on VNET code
Lei Xia [Tue, 23 Nov 2010 03:55:41 +0000]
More fix on VNET code
Now it is working on Linux host

13 years agoUpdated devices to remove vm_device dependencies.
Jack Lange [Tue, 23 Nov 2010 03:54:20 +0000]
Updated devices to remove vm_device dependencies.
The console is still a complete mess, but my attempt to fix it just made it stop working.

13 years agokeyboard buf fixes
Jack Lange [Mon, 22 Nov 2010 05:45:34 +0000]
keyboard buf fixes

13 years agoreworked device IO hook framework
Jack Lange [Mon, 22 Nov 2010 05:31:14 +0000]
reworked device IO hook framework

13 years agoadd backend device for direct host network bridge
Lei Xia [Mon, 22 Nov 2010 02:24:28 +0000]
add backend device for direct host network bridge

13 years agoMinor fix on virtio network device config
Lei Xia [Sun, 21 Nov 2010 17:02:54 +0000]
Minor fix on virtio network device config

raw packet interface implementation

13 years agoIt seems FreeBSD sets the cursor to an out-of-screen location while booting. This...
Erik van der Kouwe [Fri, 19 Nov 2010 17:40:08 +0000]
It seems FreeBSD sets the cursor to an out-of-screen location while booting. This patch adds checks to prevent that from being a problem. It also adds asserts in cga.c to make related buffer overflows easier to debug in the future

13 years agoThe Palacios PIC does not implement the set-priority command and this causes the...
Erik van der Kouwe [Fri, 19 Nov 2010 17:39:11 +0000]
The Palacios PIC does not implement the set-priority command and this causes the VM to be shut down. AFAICS the PIC currently doesn't handle priorities at all, so this patch just ignores the command.

13 years agoThis command implements the 0xee echo command on the keyboard controller.
Erik van der Kouwe [Fri, 19 Nov 2010 17:37:48 +0000]
This command implements the 0xee echo command on the keyboard controller.

13 years agomore device free updates
Jack Lange [Fri, 19 Nov 2010 17:36:48 +0000]
more device free updates

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

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

13 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

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

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

13 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

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

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

13 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

13 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

13 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

13 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

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

13 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

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

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

13 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

13 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

13 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

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

13 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

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

13 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

13 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

13 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

13 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

13 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

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

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

13 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

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

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

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

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

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

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

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

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

13 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