{
    "facets": {
        "fuchsia.test": {
            "injected-services": {
                "fuchsia.tee.Application.b689f2a7-8adf-477a-9f99-32e90c0ad0a2": "fuchsia-pkg://fuchsia.com/tee_manager#meta/tee_manager.cmx",
                "fuchsia.tee.DeviceInfo": "fuchsia-pkg://fuchsia.com/tee_manager#meta/tee_manager.cmx"
            }
        }
    },
    "include": [
        "sdk/lib/diagnostics/syslog/client.shard.cmx"
    ],
    "program": {
        "binary": "bin/optee_test"
    },
    "sandbox": {
        "services": [
            "fuchsia.sys.Environment",
            "fuchsia.sys.Loader",
            "fuchsia.tee.Application.b689f2a7-8adf-477a-9f99-32e90c0ad0a2",
            "fuchsia.tee.DeviceInfo"
        ]
    }
}