android_packages_modules_Virtualization/launcher/Android.bp

package {
    default_applicable_licenses: ["Android-Apache-2.0"],
}

cc_binary {
    name: "microdroid_launcher",
    srcs: ["main.cpp"],
    shared_libs: [
        "libdl",
        "libdl_android",
    ],
}