Today I thought I'd give Xen a go on my AMD64/Lenny box. The snag is that while most of Xen 3.2 appears to be available there isn't a stock Debian Linux-Xen kernel available - or I'm miss reading how it all works.

Additionally my broken finger still hurts and and typing is a real pain...