Source of KVM-L4 ?

Rolf Sommerhalder rolf.sommerhalder at
Sun Apr 8 10:51:29 CEST 2012

Hello list,

Is there any source code available of "KVM-L4", e.g. KVM which has been
ported to L4Linux?

There are some publications from TU Dresden which report about this
successful port as KVM-L4. Is its source code available at all, or is it
just hiding from search engines in some public repository or archive?


More information about the l4-hackers mailing list