Yes, I will add missing ifdefs to make it compilable without virtualization at all resulting in the normal kernel.+ struct vps_info *owner_vps;You don't seem to be any ifdefs for anything. I guess that's ok if the
final virtualization will be really light weight (let's say not more
than a few KB of additional memory including runtime overhead). But
somehow I guess it will be heavier. What are the plans to allow to
CONFIG it all out for small systems?