Am Donnerstag, den 24.01.2008, 14:43 +0100 schrieb Simon Jolle: > Ich suche eigentlich exakt die Source von diesem Xen Kernel. Bleibt > mir nichts anderes übrig als das Source Deb runterladen und Files > extrahieren? Das dürfte immer die gleiche source sein, nur mit anderen Optionen kompiliert. Damit es ein XEN-Kernel wird, muss wohl die Option "Enable paravirtualisation support" (oder ähnlich) aktiviert sein. -Erik