V "GNAT Lib v15"
A -O3
A -gnatA
A -ffunction-sections
A -fdata-sections
A -gnata
A -gnato1
A -gnatVa
A -gnatwa
A -gnatwJ
A -gnatwK
A -gnat2022
A -mcpu=arm1176jzf-s
A -mfloat-abi=hard
A -mfpu=vfpv2
A -mtls-dialect=gnu
A -marm
A -mlibarch=armv6kz+fp
A -march=armv6kz+fp
P SS ZX

RN
RV NO_SECONDARY_STACK
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE

U raspberrypi%s		raspberrypi.ads		6c00d9bd EE OO PK KU
W cpuinfo%s		cpuinfo.adb		cpuinfo.ali  AD
W device%s		device.adb		device.ali
Z liblinux%s		liblinux.adb		liblinux.ali  AD
W orangepizero2w%s	orangepizero2w.ads	orangepizero2w.ali
W raspberrypi5%s	raspberrypi5.ads	raspberrypi5.ali
Z system.secondary_stack%s  s-secsta.adb	s-secsta.ali

D cpuinfo.ads		20250912235527 aee435f2 cpuinfo%s
D device.ads		20250912235527 44ef6d83 device%s
D liblinux.ads		20250822150043 b36ea609 liblinux%s
D orangepizero2w.ads	20250912235527 a330f925 orangepizero2w%s
D raspberrypi.ads	20250912235528 87a563ba raspberrypi%s
D raspberrypi5.ads	20250912235528 a29e1b53 raspberrypi5%s
D system.ads		20250808065140 d0bef732 system%s
D s-parame.ads		20250808065140 3597fc11 system.parameters%s
D s-secsta.ads		20250808065140 578279f5 system.secondary_stack%s
D s-stoele.ads		20250808065140 ccded4e8 system.storage_elements%s
G a e
G c s s s [s raspberrypi 30 1 none]
G r c none [s raspberrypi 30 1 none] [modelname liblinux 217 12 none]
G r c none [s raspberrypi 30 1 none] [kind cpuinfo 61 12 none]
X 1 cpuinfo.ads
25K9*CPUInfo 67e12 5|24w6 28r10 32r33 33r33 33r48
31E8*Kinds 39e13 5|28r18
38n5*BCM2712{31E8} 5|33r56
57V12*ModelName=57:53{string} 5|32s41
61V12*Kind{31E8} 5|33s41
X 2 device.ads
23K9*Device 42e11 5|23w6 46r21 47r21 48r21 49r21 50r21 51r21 52r21 53r21
. 55r21 56r21 57r21 58r21 59r21 60r21 61r21 62r21 63r21 64r21 65r21 66r21
. 67r21 68r21 69r21 70r21 71r21 72r21 73r21 74r21 75r21 76r21 77r21 78r21
. 79r21 80r21 82r21 84r21 85r21 87r21 88r21 96r21 96r84 97r21 97r84 99r21
. 99r84 114r21 115r21 119r21 119r58 120r21 120r58 121r21 121r58
27R8*Designator 30e13 5|46r28 47r28 48r28 49r28 50r28 51r28 52r28 53r28 55r28
. 56r28 57r28 58r28 59r28 60r28 61r28 62r28 63r28 64r28 65r28 66r28 67r28
. 68r28 69r28 70r28 71r28 72r28 73r28 74r28 75r28 76r28 77r28 78r28 79r28
. 80r28 82r28 84r28 85r28 87r28 88r28 96r28 97r28 99r28 114r28 115r28 119r28
. 120r28 121r28
32r3*Unavailable{27R8} 5|96r91 97r91 99r91 119r65 120r65 121r65
X 4 orangepizero2w.ads
25K9*OrangePiZero2W 135e19 5|25w6 32r53 55r58 56r58 57r58 58r58 59r58 60r58
. 61r58 62r58 63r58 64r58 65r58 66r58 67r58 68r58 69r58 70r58 71r58 72r58
. 73r58 74r58 75r58 76r58 77r58 78r58 79r58 80r58 84r58 85r58 96r58 97r58
. 99r58 114r58 115r58
27a3*ModelName{string} 5|32r68
91r3*GPIO0=91:39{2|27R8} 5|96r73
92r3*GPIO1=92:39{2|27R8} 5|97r73
93r3*GPIO2=93:39{2|27R8} 5|55r73
94r3*GPIO3=94:39{2|27R8} 5|56r73
95r3*GPIO4=95:39{2|27R8} 5|57r73
96r3*GPIO5=96:39{2|27R8} 5|58r73
97r3*GPIO6=97:39{2|27R8} 5|59r73
98r3*GPIO7=98:39{2|27R8} 5|60r73
99r3*GPIO8=99:39{2|27R8} 5|61r73
100r3*GPIO9=100:39{2|27R8} 5|62r73
101r3*GPIO10=101:39{2|27R8} 5|63r73
102r3*GPIO11=102:39{2|27R8} 5|64r73
103r3*GPIO12=103:39{2|27R8} 5|65r73
104r3*GPIO13=104:39{2|27R8} 5|66r73
105r3*GPIO14=105:39{2|27R8} 5|67r73
106r3*GPIO15=106:39{2|27R8} 5|68r73
107r3*GPIO16=107:39{2|27R8} 5|69r73
108r3*GPIO17=108:39{2|27R8} 5|70r73
109r3*GPIO18=109:39{2|27R8} 5|71r73
110r3*GPIO19=110:39{2|27R8} 5|72r73
111r3*GPIO20=111:39{2|27R8} 5|73r73
112r3*GPIO21=112:39{2|27R8} 5|74r73
113r3*GPIO22=113:39{2|27R8} 5|75r73
114r3*GPIO23=114:39{2|27R8} 5|76r73
115r3*GPIO24=115:39{2|27R8} 5|77r73
116r3*GPIO25=116:39{2|27R8} 5|78r73
117r3*GPIO26=117:39{2|27R8} 5|79r73
118r3*GPIO27=118:39{2|27R8} 5|80r73
121r3*I2C2{2|27R8} 5|99r73
123r3*PWM1{2|27R8} 5|84r73
124r3*PWM2{2|27R8} 5|85r73
125r3*PWM3{2|27R8} 5|114r73
126r3*PWM4{2|27R8} 5|115r73
X 5 raspberrypi.ads
30K9*RaspberryPi 123l5 123e16
32b3*Orange{boolean} 55r46 56r46 57r46 58r46 59r46 60r46 61r46 62r46 63r46
. 64r46 65r46 66r46 67r46 68r46 69r46 70r46 71r46 72r46 73r46 74r46 75r46
. 76r46 77r46 78r46 79r46 80r46 84r46 85r46 96r46 97r46 99r46 114r46 115r46
. 119r46 120r46 121r46
33b3*Pi5{boolean} 84r84 85r84 114r84 115r84
46r3*AIN0{2|27R8}
47r3*AIN1{2|27R8}
48r3*AIN2{2|27R8}
49r3*AIN3{2|27R8}
50r3*AIN4{2|27R8}
51r3*AIN5{2|27R8}
52r3*AIN6{2|27R8}
53r3*AIN7{2|27R8}
55r3*GPIO2{2|27R8}
56r3*GPIO3{2|27R8}
57r3*GPIO4{2|27R8}
58r3*GPIO5{2|27R8}
59r3*GPIO6{2|27R8}
60r3*GPIO7{2|27R8}
61r3*GPIO8{2|27R8}
62r3*GPIO9{2|27R8}
63r3*GPIO10{2|27R8}
64r3*GPIO11{2|27R8}
65r3*GPIO12{2|27R8}
66r3*GPIO13{2|27R8}
67r3*GPIO14{2|27R8}
68r3*GPIO15{2|27R8}
69r3*GPIO16{2|27R8}
70r3*GPIO17{2|27R8}
71r3*GPIO18{2|27R8}
72r3*GPIO19{2|27R8}
73r3*GPIO20{2|27R8}
74r3*GPIO21{2|27R8}
75r3*GPIO22{2|27R8}
76r3*GPIO23{2|27R8}
77r3*GPIO24{2|27R8}
78r3*GPIO25{2|27R8}
79r3*GPIO26{2|27R8}
80r3*GPIO27{2|27R8}
82r3*I2C1{2|27R8}
84r3*PWM0{2|27R8}
85r3*PWM1{2|27R8}
87r3*SPI0_0{2|27R8}
88r3*SPI0_1{2|27R8}
96r3*GPIO0{2|27R8}
97r3*GPIO1{2|27R8}
99r3*I2C2{2|27R8}
114r3*PWM2{2|27R8}
115r3*PWM3{2|27R8}
119r3*SPI1_0{2|27R8}
120r3*SPI1_1{2|27R8}
121r3*SPI1_2{2|27R8}
X 6 raspberrypi5.ads
25K9*RaspberryPi5 5|26w6 84r93 85r93 114r93 115r93 6|44e17
39r3*PWM0{2|27R8} 5|84r106
40r3*PWM1{2|27R8} 5|85r106
41r3*PWM2{2|27R8} 5|114r106
42r3*PWM3{2|27R8} 5|115r106