This file is indexed.

/usr/share/chipcard/cards/generic_pcsc/kvk.xml is in libchipcard-data 5.1.0beta-2.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
<cards>
  <card name="kvk" >

    <commands>
      <!-- Select Master File -->
      <command name="SelectMF" driver="generic_pcsc" >
      	<send>
	  			<APDU>
  	    		<ELEM type="dword">0x00a40000</ELEM>
	  			</APDU>
	  			<DATA>
	    			<ELEM type="word">0x3f00</ELEM>
	  			</DATA>
				</send>
				<results>
      		<result sw1="0x6a" sw2="0x82" type="error">File not found</result>
				</results>
    	</command>
    </commands>
  </card>
</cards>