microdroid/keymint/android.hardware.security.keymint-service.microdroid.xml

<manifest version="1.0" type="device">
    <hal format="aidl">
        <name>android.hardware.security.keymint</name>
        <fqname>IKeyMintDevice/default</fqname>
    </hal>
</manifest>