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.


removed kitten from the palacios tree,
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 20 Nov 2008 22:28:07 +0000 (16:28 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 20 Nov 2008 22:28:07 +0000 (16:28 -0600)
commit80d6ccd14cca51eec611cc96cf1e39c7a9c98421
tree1307f0e7891578c226fbd516ab7ec76feb39a5c1
parente5d7715c14a23e72d742d402d4e4cdf97ffab697
removed kitten from the palacios tree,
Kitten is now an external dependency
364 files changed:
kitten/.hgignore [deleted file]
kitten/COPYING [deleted file]
kitten/CREDITS [deleted file]
kitten/Kbuild [deleted file]
kitten/Makefile [deleted file]
kitten/README [deleted file]
kitten/arch/x86_64/Kconfig [deleted file]
kitten/arch/x86_64/Kconfig.debug [deleted file]
kitten/arch/x86_64/Makefile [deleted file]
kitten/arch/x86_64/boot/Makefile [deleted file]
kitten/arch/x86_64/boot/bootsect.S [deleted file]
kitten/arch/x86_64/boot/compressed/Makefile [deleted file]
kitten/arch/x86_64/boot/compressed/head.S [deleted file]
kitten/arch/x86_64/boot/compressed/misc.c [deleted file]
kitten/arch/x86_64/boot/compressed/vmlwk.lds [deleted file]
kitten/arch/x86_64/boot/compressed/vmlwk.scr [deleted file]
kitten/arch/x86_64/boot/setup.S [deleted file]
kitten/arch/x86_64/boot/tools/build.c [deleted file]
kitten/arch/x86_64/boot/video.S [deleted file]
kitten/arch/x86_64/kernel/Makefile [deleted file]
kitten/arch/x86_64/kernel/asm-offsets.c [deleted file]
kitten/arch/x86_64/kernel/bios.S [deleted file]
kitten/arch/x86_64/kernel/cpu.c [deleted file]
kitten/arch/x86_64/kernel/cpuinfo.c [deleted file]
kitten/arch/x86_64/kernel/e820.c [deleted file]
kitten/arch/x86_64/kernel/entry.S [deleted file]
kitten/arch/x86_64/kernel/head.S [deleted file]
kitten/arch/x86_64/kernel/head64.c [deleted file]
kitten/arch/x86_64/kernel/i387.c [deleted file]
kitten/arch/x86_64/kernel/init_task.c [deleted file]
kitten/arch/x86_64/kernel/interrupts.c [deleted file]
kitten/arch/x86_64/kernel/ioapic.c [deleted file]
kitten/arch/x86_64/kernel/lapic.c [deleted file]
kitten/arch/x86_64/kernel/mpboot.c [deleted file]
kitten/arch/x86_64/kernel/mpparse.c [deleted file]
kitten/arch/x86_64/kernel/percpu.c [deleted file]
kitten/arch/x86_64/kernel/rca/Makefile [deleted file]
kitten/arch/x86_64/kernel/rca/l0rca.c [deleted file]
kitten/arch/x86_64/kernel/resource.c [deleted file]
kitten/arch/x86_64/kernel/sched.c [deleted file]
kitten/arch/x86_64/kernel/setup.c [deleted file]
kitten/arch/x86_64/kernel/show.c [deleted file]
kitten/arch/x86_64/kernel/sys_arch_prctl.c [deleted file]
kitten/arch/x86_64/kernel/syscall.c [deleted file]
kitten/arch/x86_64/kernel/task.c [deleted file]
kitten/arch/x86_64/kernel/time.c [deleted file]
kitten/arch/x86_64/kernel/trampoline.S [deleted file]
kitten/arch/x86_64/kernel/verify_cpu.S [deleted file]
kitten/arch/x86_64/kernel/vmlwk.lds.S [deleted file]
kitten/arch/x86_64/kernel/vsyscall.c [deleted file]
kitten/arch/x86_64/kernel/xcall.c [deleted file]
kitten/arch/x86_64/lib/Makefile [deleted file]
kitten/arch/x86_64/lib/bitops.c [deleted file]
kitten/arch/x86_64/lib/copy_user.S [deleted file]
kitten/arch/x86_64/lib/delay.c [deleted file]
kitten/arch/x86_64/lib/extable.c [deleted file]
kitten/arch/x86_64/lib/getuser.S [deleted file]
kitten/arch/x86_64/lib/memcpy.S [deleted file]
kitten/arch/x86_64/lib/memmove.c [deleted file]
kitten/arch/x86_64/lib/memset.c [deleted file]
kitten/arch/x86_64/lib/putuser.S [deleted file]
kitten/arch/x86_64/lib/thunk.S [deleted file]
kitten/arch/x86_64/lib/usercopy.c [deleted file]
kitten/arch/x86_64/mm/Makefile [deleted file]
kitten/arch/x86_64/mm/aspace.c [deleted file]
kitten/arch/x86_64/mm/fault.c [deleted file]
kitten/arch/x86_64/mm/init.c [deleted file]
kitten/arch/x86_64/mm/phys_addr.c [deleted file]
kitten/boot-kitten [deleted file]
kitten/boot-kitten2 [deleted file]
kitten/drivers/Makefile [deleted file]
kitten/drivers/console/Makefile [deleted file]
kitten/drivers/console/rcal0.c [deleted file]
kitten/drivers/console/serial.c [deleted file]
kitten/drivers/console/vga.c [deleted file]
kitten/include/arch-generic/atomic.h [deleted file]
kitten/include/arch-generic/bitops/hweight.h [deleted file]
kitten/include/arch-generic/bug.h [deleted file]
kitten/include/arch-generic/div64.h [deleted file]
kitten/include/arch-generic/errno-base.h [deleted file]
kitten/include/arch-generic/errno.h [deleted file]
kitten/include/arch-generic/iomap.h [deleted file]
kitten/include/arch-generic/mman.h [deleted file]
kitten/include/arch-generic/pgtable.h [deleted file]
kitten/include/arch-generic/sections.h [deleted file]
kitten/include/arch-generic/siginfo.h [deleted file]
kitten/include/arch-generic/signal.h [deleted file]
kitten/include/arch-generic/vmlwk.lds.h [deleted file]
kitten/include/arch-x86_64/apic.h [deleted file]
kitten/include/arch-x86_64/apicdef.h [deleted file]
kitten/include/arch-x86_64/aspace.h [deleted file]
kitten/include/arch-x86_64/atomic.h [deleted file]
kitten/include/arch-x86_64/auxvec.h [deleted file]
kitten/include/arch-x86_64/bitops.h [deleted file]
kitten/include/arch-x86_64/boot.h [deleted file]
kitten/include/arch-x86_64/bootsetup.h [deleted file]
kitten/include/arch-x86_64/bug.h [deleted file]
kitten/include/arch-x86_64/byteorder.h [deleted file]
kitten/include/arch-x86_64/cache.h [deleted file]
kitten/include/arch-x86_64/calling.h [deleted file]
kitten/include/arch-x86_64/cpufeature.h [deleted file]
kitten/include/arch-x86_64/cpuinfo.h [deleted file]
kitten/include/arch-x86_64/current.h [deleted file]
kitten/include/arch-x86_64/debugreg.h [deleted file]
kitten/include/arch-x86_64/delay.h [deleted file]
kitten/include/arch-x86_64/desc.h [deleted file]
kitten/include/arch-x86_64/div64.h [deleted file]
kitten/include/arch-x86_64/dwarf2.h [deleted file]
kitten/include/arch-x86_64/e820.h [deleted file]
kitten/include/arch-x86_64/elf.h [deleted file]
kitten/include/arch-x86_64/errno.h [deleted file]
kitten/include/arch-x86_64/extable.h [deleted file]
kitten/include/arch-x86_64/fixmap.h [deleted file]
kitten/include/arch-x86_64/i387.h [deleted file]
kitten/include/arch-x86_64/idt_vectors.h [deleted file]
kitten/include/arch-x86_64/io.h [deleted file]
kitten/include/arch-x86_64/io_apic.h [deleted file]
kitten/include/arch-x86_64/ldt.h [deleted file]
kitten/include/arch-x86_64/linkage.h [deleted file]
kitten/include/arch-x86_64/mman.h [deleted file]
kitten/include/arch-x86_64/mmu.h [deleted file]
kitten/include/arch-x86_64/mpspec.h [deleted file]
kitten/include/arch-x86_64/msr.h [deleted file]
kitten/include/arch-x86_64/page.h [deleted file]
kitten/include/arch-x86_64/page_table.h [deleted file]
kitten/include/arch-x86_64/param.h [deleted file]
kitten/include/arch-x86_64/pda.h [deleted file]
kitten/include/arch-x86_64/percpu.h [deleted file]
kitten/include/arch-x86_64/pgtable.h [deleted file]
kitten/include/arch-x86_64/posix_types.h [deleted file]
kitten/include/arch-x86_64/prctl.h [deleted file]
kitten/include/arch-x86_64/processor.h [deleted file]
kitten/include/arch-x86_64/proto.h [deleted file]
kitten/include/arch-x86_64/ptrace.h [deleted file]
kitten/include/arch-x86_64/rwlock.h [deleted file]
kitten/include/arch-x86_64/sections.h [deleted file]
kitten/include/arch-x86_64/segment.h [deleted file]
kitten/include/arch-x86_64/show.h [deleted file]
kitten/include/arch-x86_64/sigcontext.h [deleted file]
kitten/include/arch-x86_64/siginfo.h [deleted file]
kitten/include/arch-x86_64/signal.h [deleted file]
kitten/include/arch-x86_64/smp.h [deleted file]
kitten/include/arch-x86_64/spinlock.h [deleted file]
kitten/include/arch-x86_64/spinlock_types.h [deleted file]
kitten/include/arch-x86_64/stat.h [deleted file]
kitten/include/arch-x86_64/string.h [deleted file]
kitten/include/arch-x86_64/system.h [deleted file]
kitten/include/arch-x86_64/task.h [deleted file]
kitten/include/arch-x86_64/time.h [deleted file]
kitten/include/arch-x86_64/tlbflush.h [deleted file]
kitten/include/arch-x86_64/tsc.h [deleted file]
kitten/include/arch-x86_64/types.h [deleted file]
kitten/include/arch-x86_64/uaccess.h [deleted file]
kitten/include/arch-x86_64/unistd.h [deleted file]
kitten/include/arch-x86_64/user.h [deleted file]
kitten/include/arch-x86_64/vsyscall.h [deleted file]
kitten/include/arch-x86_64/xcall.h [deleted file]
kitten/include/lwk/aspace.h [deleted file]
kitten/include/lwk/auxvec.h [deleted file]
kitten/include/lwk/bitmap.h [deleted file]
kitten/include/lwk/bitops.h [deleted file]
kitten/include/lwk/bootmem.h [deleted file]
kitten/include/lwk/buddy.h [deleted file]
kitten/include/lwk/byteorder/Kbuild [deleted file]
kitten/include/lwk/byteorder/big_endian.h [deleted file]
kitten/include/lwk/byteorder/generic.h [deleted file]
kitten/include/lwk/byteorder/little_endian.h [deleted file]
kitten/include/lwk/byteorder/swab.h [deleted file]
kitten/include/lwk/cache.h [deleted file]
kitten/include/lwk/compiler-gcc.h [deleted file]
kitten/include/lwk/compiler-gcc4.h [deleted file]
kitten/include/lwk/compiler.h [deleted file]
kitten/include/lwk/console.h [deleted file]
kitten/include/lwk/const.h [deleted file]
kitten/include/lwk/cpu.h [deleted file]
kitten/include/lwk/cpuinfo.h [deleted file]
kitten/include/lwk/cpumask.h [deleted file]
kitten/include/lwk/ctype.h [deleted file]
kitten/include/lwk/delay.h [deleted file]
kitten/include/lwk/driver.h [deleted file]
kitten/include/lwk/elf-em.h [deleted file]
kitten/include/lwk/elf.h [deleted file]
kitten/include/lwk/errno.h [deleted file]
kitten/include/lwk/extable.h [deleted file]
kitten/include/lwk/hash.h [deleted file]
kitten/include/lwk/htable.h [deleted file]
kitten/include/lwk/idspace.h [deleted file]
kitten/include/lwk/init.h [deleted file]
kitten/include/lwk/init_task.h [deleted file]
kitten/include/lwk/interrupt.h [deleted file]
kitten/include/lwk/kallsyms.h [deleted file]
kitten/include/lwk/kernel.h [deleted file]
kitten/include/lwk/kmem.h [deleted file]
kitten/include/lwk/liblwk.h [deleted symlink]
kitten/include/lwk/linkage.h [deleted file]
kitten/include/lwk/linux_compat.h [deleted file]
kitten/include/lwk/list.h [deleted file]
kitten/include/lwk/log2.h [deleted file]
kitten/include/lwk/palacios.h [deleted file]
kitten/include/lwk/params.h [deleted file]
kitten/include/lwk/percpu.h [deleted file]
kitten/include/lwk/pfn.h [deleted file]
kitten/include/lwk/pmem.h [deleted file]
kitten/include/lwk/posix_types.h [deleted file]
kitten/include/lwk/prefetch.h [deleted file]
kitten/include/lwk/print.h [deleted file]
kitten/include/lwk/ptrace.h [deleted file]
kitten/include/lwk/resource.h [deleted file]
kitten/include/lwk/sched.h [deleted file]
kitten/include/lwk/screen_info.h [deleted file]
kitten/include/lwk/seqlock.h [deleted file]
kitten/include/lwk/show.h [deleted file]
kitten/include/lwk/signal.h [deleted file]
kitten/include/lwk/smp.h [deleted file]
kitten/include/lwk/sort.h [deleted file]
kitten/include/lwk/spinlock.h [deleted file]
kitten/include/lwk/spinlock_api_smp.h [deleted file]
kitten/include/lwk/spinlock_types.h [deleted file]
kitten/include/lwk/stat.h [deleted file]
kitten/include/lwk/stddef.h [deleted file]
kitten/include/lwk/string.h [deleted file]
kitten/include/lwk/stringify.h [deleted file]
kitten/include/lwk/task.h [deleted file]
kitten/include/lwk/time.h [deleted file]
kitten/include/lwk/timer.h [deleted file]
kitten/include/lwk/types.h [deleted file]
kitten/include/lwk/unistd.h [deleted file]
kitten/include/lwk/uts.h [deleted file]
kitten/include/lwk/utsname.h [deleted file]
kitten/include/lwk/waitq.h [deleted file]
kitten/include/lwk/xcall.h [deleted file]
kitten/include/rca/cray_event_def.h [deleted file]
kitten/include/rca/l0rca_config.h [deleted file]
kitten/include/rca/rca_defs.h [deleted file]
kitten/include/rca/rca_l0.h [deleted file]
kitten/include/rca/rca_l0_linux.h [deleted file]
kitten/init/Kconfig [deleted file]
kitten/init/Makefile [deleted file]
kitten/init/main.c [deleted file]
kitten/init/version.c [deleted file]
kitten/kernel/Makefile [deleted file]
kitten/kernel/console.c [deleted file]
kitten/kernel/cpuinfo.c [deleted file]
kitten/kernel/driver.c [deleted file]
kitten/kernel/elf.c [deleted file]
kitten/kernel/elf_liblwk.c [deleted symlink]
kitten/kernel/extable.c [deleted file]
kitten/kernel/htable.c [deleted file]
kitten/kernel/idspace.c [deleted file]
kitten/kernel/init_task.c [deleted file]
kitten/kernel/kallsyms.c [deleted file]
kitten/kernel/linux_syscalls/Makefile [deleted file]
kitten/kernel/linux_syscalls/brk.c [deleted file]
kitten/kernel/linux_syscalls/fstat.c [deleted file]
kitten/kernel/linux_syscalls/gettimeofday.c [deleted file]
kitten/kernel/linux_syscalls/id.c [deleted file]
kitten/kernel/linux_syscalls/mmap.c [deleted file]
kitten/kernel/linux_syscalls/nanosleep.c [deleted file]
kitten/kernel/linux_syscalls/sched_yield.c [deleted file]
kitten/kernel/linux_syscalls/settimeofday.c [deleted file]
kitten/kernel/linux_syscalls/time.c [deleted file]
kitten/kernel/linux_syscalls/uname.c [deleted file]
kitten/kernel/linux_syscalls/write.c [deleted file]
kitten/kernel/panic.c [deleted file]
kitten/kernel/params.c [deleted file]
kitten/kernel/printk.c [deleted file]
kitten/kernel/resource.c [deleted file]
kitten/kernel/sched.c [deleted file]
kitten/kernel/show.c [deleted file]
kitten/kernel/spinlock.c [deleted file]
kitten/kernel/task.c [deleted file]
kitten/kernel/time.c [deleted file]
kitten/kernel/timer.c [deleted file]
kitten/kernel/waitq.c [deleted file]
kitten/kernel/xcall.c [deleted file]
kitten/lib/Kconfig.debug [deleted file]
kitten/lib/Makefile [deleted file]
kitten/lib/bitmap.c [deleted file]
kitten/lib/cmdline.c [deleted file]
kitten/lib/cpumask.c [deleted file]
kitten/lib/ctype.c [deleted file]
kitten/lib/extable.c [deleted file]
kitten/lib/hweight.c [deleted file]
kitten/lib/inflate.c [deleted file]
kitten/lib/sort.c [deleted file]
kitten/lib/string.c [deleted file]
kitten/lib/vsprintf.c [deleted file]
kitten/mm/Makefile [deleted file]
kitten/mm/aspace.c [deleted file]
kitten/mm/aspace_liblwk.c [deleted symlink]
kitten/mm/bootmem.c [deleted file]
kitten/mm/buddy.c [deleted file]
kitten/mm/kmem.c [deleted file]
kitten/mm/pmem.c [deleted file]
kitten/mm/pmem_liblwk.c [deleted symlink]
kitten/palacios-glue/Makefile [deleted file]
kitten/palacios-glue/vm.c [deleted file]
kitten/palacios-glue/vmm_stubs.c [deleted file]
kitten/palacios/.do-not-delete [deleted file]
kitten/scripts/Kbuild.include [deleted file]
kitten/scripts/Makefile [deleted file]
kitten/scripts/Makefile.build [deleted file]
kitten/scripts/Makefile.clean [deleted file]
kitten/scripts/Makefile.host [deleted file]
kitten/scripts/Makefile.lib [deleted file]
kitten/scripts/Makefile.modpost [deleted file]
kitten/scripts/basic/Makefile [deleted file]
kitten/scripts/basic/docproc.c [deleted file]
kitten/scripts/basic/fixdep.c [deleted file]
kitten/scripts/basic/split-include.c [deleted file]
kitten/scripts/kallsyms.c [deleted file]
kitten/scripts/kconfig/Makefile [deleted file]
kitten/scripts/kconfig/POTFILES.in [deleted file]
kitten/scripts/kconfig/conf.c [deleted file]
kitten/scripts/kconfig/confdata.c [deleted file]
kitten/scripts/kconfig/expr.c [deleted file]
kitten/scripts/kconfig/expr.h [deleted file]
kitten/scripts/kconfig/gconf.c [deleted file]
kitten/scripts/kconfig/gconf.glade [deleted file]
kitten/scripts/kconfig/images.c [deleted file]
kitten/scripts/kconfig/kconfig_load.c [deleted file]
kitten/scripts/kconfig/kxgettext.c [deleted file]
kitten/scripts/kconfig/lex.zconf.c_shipped [deleted file]
kitten/scripts/kconfig/lkc.h [deleted file]
kitten/scripts/kconfig/lkc_proto.h [deleted file]
kitten/scripts/kconfig/lxdialog/BIG.FAT.WARNING [deleted file]
kitten/scripts/kconfig/lxdialog/Makefile [deleted file]
kitten/scripts/kconfig/lxdialog/check-lxdialog.sh [deleted file]
kitten/scripts/kconfig/lxdialog/checklist.c [deleted file]
kitten/scripts/kconfig/lxdialog/colors.h [deleted file]
kitten/scripts/kconfig/lxdialog/dialog.h [deleted file]
kitten/scripts/kconfig/lxdialog/inputbox.c [deleted file]
kitten/scripts/kconfig/lxdialog/lxdialog.c [deleted file]
kitten/scripts/kconfig/lxdialog/menubox.c [deleted file]
kitten/scripts/kconfig/lxdialog/msgbox.c [deleted file]
kitten/scripts/kconfig/lxdialog/textbox.c [deleted file]
kitten/scripts/kconfig/lxdialog/util.c [deleted file]
kitten/scripts/kconfig/lxdialog/yesno.c [deleted file]
kitten/scripts/kconfig/mconf.c [deleted file]
kitten/scripts/kconfig/menu.c [deleted file]
kitten/scripts/kconfig/qconf.cc [deleted file]
kitten/scripts/kconfig/qconf.h [deleted file]
kitten/scripts/kconfig/symbol.c [deleted file]
kitten/scripts/kconfig/util.c [deleted file]
kitten/scripts/kconfig/zconf.gperf [deleted file]
kitten/scripts/kconfig/zconf.hash.c_shipped [deleted file]
kitten/scripts/kconfig/zconf.l [deleted file]
kitten/scripts/kconfig/zconf.tab.c_shipped [deleted file]
kitten/scripts/kconfig/zconf.y [deleted file]
kitten/scripts/mkcompile_h [deleted file]
kitten/scripts/mksysmap [deleted file]
kitten/scripts/toolchain/build-x86_64.sh [deleted file]
kitten/user/Make.rules [deleted file]
kitten/user/Makefile [deleted file]
kitten/user/hello_world/COPYING [deleted file]
kitten/user/hello_world/Makefile [deleted file]
kitten/user/hello_world/hello_world.c [deleted file]
kitten/user/liblwk/COPYING [deleted file]
kitten/user/liblwk/Makefile [deleted file]
kitten/user/liblwk/aspace.c [deleted file]
kitten/user/liblwk/elf.c [deleted file]
kitten/user/liblwk/include/lwk/liblwk.h [deleted file]
kitten/user/liblwk/pmem.c [deleted file]
kitten/user/liblwk/syscalls.c [deleted file]