make PLK work on xenU
authorMarc Fiuczynski <mef@cs.princeton.edu>
Wed, 10 Aug 2005 11:19:12 +0000 (11:19 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Wed, 10 Aug 2005 11:19:12 +0000 (11:19 +0000)
commit8700d70dcea15e9db64afb23feab5b6c2dd1ccb3
treedbae5581dfd7000fe04d63e17663ea2f3d4d7ab6
parent992cbfdb82f22b09d0e778cce19018c2551be489
make PLK work on xenU
arch/xen/Kconfig
arch/xen/i386/Kconfig
arch/xen/i386/kernel/entry.S
arch/xen/i386/kernel/vsyscall-note.S
configs/kernel-2.6.12-i686-xenU-planetlab.config [new file with mode: 0644]
include/asm-xen/asm-i386/segment.h
scripts/kernel-2.6-planetlab.spec