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

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