virtual/service-manager-1-r2:kernel_linux+!prefix-guest
virtual/service-manager-1-r3:kernel_linux+!prefix-guest
