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 agoadded vmcs/vmcb freeing
Jack Lange [Thu, 6 Jan 2011 21:28:09 +0000]
added vmcs/vmcb freeing

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

13 years agoFix to direct host network bridge
Lei Xia [Mon, 29 Nov 2010 23:52:26 +0000]
Fix to direct host network bridge

13 years agoThis patch allows the guest to shut down the virtual machine (by triple-faulting...
Erik van der Kouwe [Mon, 29 Nov 2010 21:41:51 +0000]
This patch allows the guest to shut down the virtual machine (by triple-faulting) without triggering error messages (and probably avoiding issues in the multi-core case as well).

13 years agoThis patch implements the "Check power mode" IDE command which allows the latest...
Erik van der Kouwe [Mon, 29 Nov 2010 21:38:52 +0000]
This patch implements the "Check power mode" IDE command which allows the latest OpenBSD to boot, so we can boot two of the BSDs now.

13 years agoOpenBSD attempts to set the keyboard scancode set to 3, which we don't support. Howev...
Erik van der Kouwe [Mon, 29 Nov 2010 21:36:18 +0000]
OpenBSD attempts to set the keyboard scancode set to 3, which we don't support. However, it checks afterwards to see whether it was successful and tried set 2 if it was not. This patch ignores requests for set 3, causing OpenBSD to work properly without requiring actual code to implement the scancode conversion.

13 years agoThis patch computes the CMOS checksum after initializing the rest of the NVRAM regist...
Erik van der Kouwe [Mon, 29 Nov 2010 21:31:18 +0000]
This patch computes the CMOS checksum after initializing the rest of the NVRAM registers. It allows the guest to read the CMOS bytes included in the checksum as zeroes without causing the hypervisor to fail, although it still issues a warning in this case.

13 years agoThis patch virtualizes VM_CR_MSR to tell the guest it cannot use SVM.
Erik van der Kouwe [Fri, 26 Nov 2010 17:01:09 +0000]
This patch virtualizes VM_CR_MSR to tell the guest it cannot use SVM.

13 years agoThis implements command 0xf0 on the keyboard controller port 0x60.
Erik van der Kouwe [Fri, 26 Nov 2010 17:00:25 +0000]
This implements command 0xf0 on the keyboard controller port 0x60.

13 years agoNVRAM keeps a reference to IDE to query its geometry. It passes the device pointer...
Erik van der Kouwe [Fri, 26 Nov 2010 16:59:03 +0000]
NVRAM keeps a reference to IDE to query its geometry. It passes the device pointer to v3_ide_get_geometry while IDE expects to get the private pointer. This patch fixes that.

13 years agodisassemble the code around the RIP. It starts disassembly 64 bytes before and contin...
Erik van der Kouwe [Fri, 26 Nov 2010 16:57:29 +0000]
disassemble the code around the RIP. It starts disassembly 64 bytes before and continues up to 32 bytes after the RIP

13 years agoOpenBSD reads the century byte, which wasn't being initialized.
Erik van der Kouwe [Fri, 26 Nov 2010 16:46:37 +0000]
OpenBSD reads the century byte, which wasn't being initialized.

13 years agoThe serial IIR and FCR registers for the serial ports share an I/O port, reads access...
Erik van der Kouwe [Fri, 26 Nov 2010 16:45:49 +0000]
The serial IIR and FCR registers for the serial ports share an I/O port, reads accessing IIR and writes accessing FCR

13 years agoThis patch adds the ATAPI drive reset command to the ide device, which is needed...
Erik van der Kouwe [Fri, 26 Nov 2010 16:45:01 +0000]
This patch adds the ATAPI drive reset command to the ide device, which is needed for FreeBSD.

13 years agominor fixes for stopping VMs
Jack Lange [Wed, 24 Nov 2010 04:41:47 +0000]
minor fixes for stopping VMs

13 years agoupdated stop procedure to handle multiple cores
Jack Lange [Tue, 23 Nov 2010 23:57:57 +0000]
updated stop procedure to handle multiple cores

13 years agoadded free interface
Jack Lange [Tue, 23 Nov 2010 23:49:26 +0000]
added free interface

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.