Source of KVM-L4 ?

[Rolf Sommerhalder]

On 04/08/12 21:04, Adam Lackorzynski wrote:
> It's in L4Linux. No change is required for QEMU/kvm.

Thanks Adam for your hint. Now, I found the KVM part in the L4Linux
source tree.

Your paper "Virtual Machine Jailed" mentions that KVM-L4 required an
extension of L4/Fiasco with about 500 SLOC. Was that patch also merged,
or has it become obsolete with Fiasco.OC?

Rolf