Merge branch 'core/xen' into x86/xen
authorIngo Molnar <mingo@elte.hu>
Wed, 10 Sep 2008 12:05:45 +0000 (14:05 +0200)
committerIngo Molnar <mingo@elte.hu>
Wed, 10 Sep 2008 12:05:45 +0000 (14:05 +0200)

Trivial merge