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.


Initial revision
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 29 Nov 2007 20:26:38 +0000 (20:26 +0000)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 29 Nov 2007 20:26:38 +0000 (20:26 +0000)
commit626595465a2c6987606a6bc697df65130ad8c2d3
treeec9d22da15986ca6d0859746ed4f221947bf9698
Initial revision
145 files changed:
palacios/COPYING.geekos [new file with mode: 0644]
palacios/LICENSE-klibc.geekos [new file with mode: 0644]
palacios/README [new file with mode: 0644]
palacios/build/.bochsrc [new file with mode: 0644]
palacios/build/Makefile [new file with mode: 0644]
palacios/build/common/.ignore [new file with mode: 0644]
palacios/build/depend.mak [new file with mode: 0644]
palacios/build/geekos/.ignore [new file with mode: 0644]
palacios/build/libc/.ignore [new file with mode: 0644]
palacios/build/noboot.img [new file with mode: 0644]
palacios/build/tools/.ignore [new file with mode: 0644]
palacios/build/user/.ignore [new file with mode: 0644]
palacios/include/geekos/argblock.h [new file with mode: 0644]
palacios/include/geekos/bget.h [new file with mode: 0644]
palacios/include/geekos/bootinfo.h [new file with mode: 0644]
palacios/include/geekos/crc32.h [new file with mode: 0644]
palacios/include/geekos/defs.h [new file with mode: 0644]
palacios/include/geekos/errno.h [new file with mode: 0644]
palacios/include/geekos/fmtout.h [new file with mode: 0644]
palacios/include/geekos/gdt.h [new file with mode: 0644]
palacios/include/geekos/idt.h [new file with mode: 0644]
palacios/include/geekos/int.h [new file with mode: 0644]
palacios/include/geekos/io.h [new file with mode: 0644]
palacios/include/geekos/io_devs.h [new file with mode: 0644]
palacios/include/geekos/irq.h [new file with mode: 0644]
palacios/include/geekos/kassert.h [new file with mode: 0644]
palacios/include/geekos/keyboard.h [new file with mode: 0644]
palacios/include/geekos/kthread.h [new file with mode: 0644]
palacios/include/geekos/ktypes.h [new file with mode: 0644]
palacios/include/geekos/list.h [new file with mode: 0644]
palacios/include/geekos/malloc.h [new file with mode: 0644]
palacios/include/geekos/mem.h [new file with mode: 0644]
palacios/include/geekos/paging.h [new file with mode: 0644]
palacios/include/geekos/range.h [new file with mode: 0644]
palacios/include/geekos/reboot.h [new file with mode: 0644]
palacios/include/geekos/screen.h [new file with mode: 0644]
palacios/include/geekos/segment.h [new file with mode: 0644]
palacios/include/geekos/serial.h [new file with mode: 0644]
palacios/include/geekos/string.h [new file with mode: 0644]
palacios/include/geekos/symbol.h [new file with mode: 0644]
palacios/include/geekos/synch.h [new file with mode: 0644]
palacios/include/geekos/timer.h [new file with mode: 0644]
palacios/include/geekos/trap.h [new file with mode: 0644]
palacios/include/geekos/tss.h [new file with mode: 0644]
palacios/include/geekos/vmcs.h [new file with mode: 0644]
palacios/include/geekos/vmcs_gen.h [new file with mode: 0644]
palacios/include/geekos/vmm_sizes.h [new file with mode: 0644]
palacios/include/geekos/vmx.h [new file with mode: 0644]
palacios/include/libc/fmtout.h [new file with mode: 0644]
palacios/include/libc/string.h [new file with mode: 0644]
palacios/scripts/eipToFunction [new file with mode: 0755]
palacios/scripts/findaddr [new file with mode: 0755]
palacios/scripts/generate_vmcs_serialization.pl [new file with mode: 0755]
palacios/scripts/generrs [new file with mode: 0755]
palacios/scripts/kerninfo [new file with mode: 0755]
palacios/scripts/mkcdisk [new file with mode: 0755]
palacios/scripts/mkuprog [new file with mode: 0755]
palacios/scripts/numsecs [new file with mode: 0755]
palacios/scripts/pad [new file with mode: 0755]
palacios/scripts/pcat [new file with mode: 0755]
palacios/scripts/pw [new file with mode: 0755]
palacios/scripts/scan [new file with mode: 0755]
palacios/scripts/vmcs_entries_to_asm.pl [new file with mode: 0755]
palacios/scripts/zerofile [new file with mode: 0755]
palacios/src/common/fmtout.c [new file with mode: 0644]
palacios/src/common/memmove.c [new file with mode: 0644]
palacios/src/common/string.c [new file with mode: 0644]
palacios/src/geekos/README.txt [new file with mode: 0644]
palacios/src/geekos/bget.c [new file with mode: 0644]
palacios/src/geekos/bootsect.asm [new file with mode: 0644]
palacios/src/geekos/crc32.c [new file with mode: 0644]
palacios/src/geekos/defs.asm [new file with mode: 0644]
palacios/src/geekos/depend.mak [new file with mode: 0644]
palacios/src/geekos/fd_boot.asm [new file with mode: 0644]
palacios/src/geekos/gdt.c [new file with mode: 0644]
palacios/src/geekos/idt.c [new file with mode: 0644]
palacios/src/geekos/int.c [new file with mode: 0644]
palacios/src/geekos/io.c [new file with mode: 0644]
palacios/src/geekos/irq.c [new file with mode: 0644]
palacios/src/geekos/keyboard.c [new file with mode: 0644]
palacios/src/geekos/kthread.c [new file with mode: 0644]
palacios/src/geekos/lowlevel.asm [new file with mode: 0644]
palacios/src/geekos/main.c [new file with mode: 0644]
palacios/src/geekos/malloc.c [new file with mode: 0644]
palacios/src/geekos/mem.c [new file with mode: 0644]
palacios/src/geekos/paging.c [new file with mode: 0644]
palacios/src/geekos/reboot.c [new file with mode: 0644]
palacios/src/geekos/screen.c [new file with mode: 0644]
palacios/src/geekos/segment.c [new file with mode: 0644]
palacios/src/geekos/serial.c [new file with mode: 0644]
palacios/src/geekos/setup.asm [new file with mode: 0644]
palacios/src/geekos/show_sizes.c [new file with mode: 0644]
palacios/src/geekos/symbol.asm [new file with mode: 0644]
palacios/src/geekos/synch.c [new file with mode: 0644]
palacios/src/geekos/testvm.s [new file with mode: 0644]
palacios/src/geekos/timer.c [new file with mode: 0644]
palacios/src/geekos/trap.c [new file with mode: 0644]
palacios/src/geekos/tss.c [new file with mode: 0644]
palacios/src/geekos/util.asm [new file with mode: 0644]
palacios/src/geekos/vmcs.c [new file with mode: 0644]
palacios/src/geekos/vmcs_fields.asm [new file with mode: 0644]
palacios/src/geekos/vmcs_gen.c [new file with mode: 0644]
palacios/src/geekos/vmx.c [new file with mode: 0644]
palacios/src/geekos/vmx_lowlevel.asm [new file with mode: 0644]
palacios/src/libc/compat.c [new file with mode: 0644]
palacios/src/vmboot/rombios/Makefile [new file with mode: 0644]
palacios/src/vmboot/rombios/apmbios.S [new file with mode: 0644]
palacios/src/vmboot/rombios/biossums.c [new file with mode: 0644]
palacios/src/vmboot/rombios/makesym.perl [new file with mode: 0755]
palacios/src/vmboot/rombios/rombios.c [new file with mode: 0644]
palacios/src/vmboot/vgabios/BUGS [new file with mode: 0644]
palacios/src/vmboot/vgabios/COPYING [new file with mode: 0644]
palacios/src/vmboot/vgabios/ChangeLog [new file with mode: 0644]
palacios/src/vmboot/vgabios/Makefile [new file with mode: 0644]
palacios/src/vmboot/vgabios/Notes [new file with mode: 0644]
palacios/src/vmboot/vgabios/README [new file with mode: 0644]
palacios/src/vmboot/vgabios/TODO [new file with mode: 0644]
palacios/src/vmboot/vgabios/biossums.c [new file with mode: 0644]
palacios/src/vmboot/vgabios/clext.c [new file with mode: 0644]
palacios/src/vmboot/vgabios/dataseghack [new file with mode: 0755]
palacios/src/vmboot/vgabios/vbe.c [new file with mode: 0644]
palacios/src/vmboot/vgabios/vbe.h [new file with mode: 0644]
palacios/src/vmboot/vgabios/vbe_display_api.txt [new file with mode: 0644]
palacios/src/vmboot/vgabios/vbetables.h [new file with mode: 0644]
palacios/src/vmboot/vgabios/vgabios.c [new file with mode: 0644]
palacios/src/vmboot/vgabios/vgabios.h [new file with mode: 0644]
palacios/src/vmboot/vgabios/vgafonts.h [new file with mode: 0644]
palacios/src/vmboot/vgabios/vgatables.h [new file with mode: 0644]
palacios/src/vmboot/vmxassist/Makefile [new file with mode: 0644]
palacios/src/vmboot/vmxassist/e820.h [new file with mode: 0644]
palacios/src/vmboot/vmxassist/gen.c [new file with mode: 0644]
palacios/src/vmboot/vmxassist/head.S [new file with mode: 0644]
palacios/src/vmboot/vmxassist/machine.h [new file with mode: 0644]
palacios/src/vmboot/vmxassist/offsets.h [new file with mode: 0644]
palacios/src/vmboot/vmxassist/setup.c [new file with mode: 0644]
palacios/src/vmboot/vmxassist/trap.S [new file with mode: 0644]
palacios/src/vmboot/vmxassist/util.c [new file with mode: 0644]
palacios/src/vmboot/vmxassist/util.h [new file with mode: 0644]
palacios/src/vmboot/vmxassist/vm86.c [new file with mode: 0644]
palacios/src/vmboot/vmxassist/vm86.h [new file with mode: 0644]
palacios/src/vmboot/vmxassist/vmx_assist.h [new file with mode: 0644]
palacios/src/vmboot/vmxassist/vmxassist.ld [new file with mode: 0644]
utils/binutils-2.16.91.0.7.tar.gz [new file with mode: 0644]
utils/nasm-0.98.39.tar.gz [new file with mode: 0644]
utils/vmx.patch [new file with mode: 0644]