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.


build fixes to merge the Palacios configuration parameters with Linux parameters.
authorJack Lange <jacklange@cs.pitt.edu>
Mon, 2 May 2011 20:54:57 +0000 (15:54 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Mon, 2 May 2011 20:54:57 +0000 (15:54 -0500)
commit94f67717b6461df514dc225ed84f03b44c44061b
tree6ed0418df1b3df0fb0796d8d2d51f83037527777
parentfeae9dcec518f57049429ee391f903745cb04749
build fixes to merge the Palacios configuration parameters with Linux parameters.
Now all configuration macros are named V3_CONFIG* instead of CONFIG* to separate the Palacios namespace
81 files changed:
Makefile
linux_module/Makefile
linux_module/ld.cmd [moved from linux_module/link.cmd with 76% similarity]
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_dev_mgr.h
palacios/include/palacios/vmm_instrument.h [deleted file]
palacios/include/palacios/vmm_shadow_paging.h
palacios/include/palacios/vmm_symbiotic.h
palacios/include/palacios/vmm_telemetry.h
palacios/include/palacios/vmm_time.h
palacios/src/devices/8254.c
palacios/src/devices/8259a.c
palacios/src/devices/Makefile
palacios/src/devices/apic.c
palacios/src/devices/cga.c
palacios/src/devices/filedisk.c
palacios/src/devices/generic.c
palacios/src/devices/ide.c
palacios/src/devices/io_apic.c
palacios/src/devices/keyboard.c
palacios/src/devices/lnx_virtio_blk.c
palacios/src/devices/lnx_virtio_nic.c
palacios/src/devices/lnx_virtio_vnet.c
palacios/src/devices/mcheck.c
palacios/src/devices/ne2k.c
palacios/src/devices/netdisk.c
palacios/src/devices/nic_bridge.c
palacios/src/devices/nvram.c
palacios/src/devices/pci.c
palacios/src/devices/pci_front.c
palacios/src/devices/ramdisk.c
palacios/src/devices/rtl8139.c
palacios/src/devices/serial.c
palacios/src/devices/swapbypass_cache.c
palacios/src/devices/swapbypass_cache2.c
palacios/src/devices/vga.c
palacios/src/devices/vnet_nic.c
palacios/src/extensions/Makefile
palacios/src/interfaces/Makefile
palacios/src/palacios/Makefile
palacios/src/palacios/mmu/Makefile
palacios/src/palacios/mmu/vmm_shdw_pg_cache.c
palacios/src/palacios/mmu/vmm_shdw_pg_kvm.c
palacios/src/palacios/mmu/vmm_shdw_pg_kvm_32.h
palacios/src/palacios/mmu/vmm_shdw_pg_kvm_32pae.h
palacios/src/palacios/mmu/vmm_shdw_pg_kvm_64.h
palacios/src/palacios/mmu/vmm_shdw_pg_swapbypass.c
palacios/src/palacios/mmu/vmm_shdw_pg_swapbypass_32.h
palacios/src/palacios/mmu/vmm_shdw_pg_tlb.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/svm_io.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_binaries.S
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_dev_mgr.c
palacios/src/palacios/vmm_direct_paging.c
palacios/src/palacios/vmm_emulator.c
palacios/src/palacios/vmm_halt.c
palacios/src/palacios/vmm_intr.c
palacios/src/palacios/vmm_io.c
palacios/src/palacios/vmm_mem.c
palacios/src/palacios/vmm_paging.c
palacios/src/palacios/vmm_shadow_paging.c
palacios/src/palacios/vmm_sprintf.c
palacios/src/palacios/vmm_string.c
palacios/src/palacios/vmm_symbiotic.c
palacios/src/palacios/vmm_telemetry.c
palacios/src/palacios/vmm_time.c
palacios/src/palacios/vmm_v3dec.c
palacios/src/palacios/vmm_vnet_core.c
palacios/src/palacios/vmm_xed.c
palacios/src/palacios/vmx.c
palacios/src/palacios/vmx_assist.c
palacios/src/palacios/vmx_ctrl_regs.c
palacios/src/palacios/vmx_handler.c
palacios/src/palacios/vmx_io.c
scripts/kconfig/confdata.c