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_CALENDAR RV NO_DELAY RV NO_DISPATCHING_CALLS RV NO_EXCEPTION_HANDLERS RV NO_EXCEPTION_PROPAGATION RV NO_EXCEPTIONS RV NO_FIXED_POINT RV NO_IO RV NO_IMPLICIT_CONDITIONALS RV NO_LOCAL_ALLOCATORS RV NO_RELATIVE_DELAY RV NO_SECONDARY_STACK RV NO_STANDARD_STORAGE_POOLS RV NO_DYNAMIC_SIZED_OBJECTS RV NO_IMPLEMENTATION_PRAGMAS RV NO_OBSOLESCENT_FEATURES U buildhat.firmware%b buildhat-firmware.adb 42f18df9 NE OO PK KU W ada%s ada.ads ada.ali W ada.calendar%s a-calend.adb a-calend.ali Z ada.calendar.delays%s a-caldel.adb a-caldel.ali W ada.directories%s a-direct.adb a-direct.ali W ada.exceptions%s a-except.adb a-except.ali Z ada.strings.text_buffers%s a-sttebu.adb a-sttebu.ali Z ada.tags%s a-tags.adb a-tags.ali W buildhat%s buildhat.adb buildhat.ali W debug%s debug.adb debug.ali W errno%s errno.ads errno.ali W gpio%s gpio.ads gpio.ali W gpio.libsimpleio%s gpio-libsimpleio.adb gpio-libsimpleio.ali W liblinux%s liblinux.adb liblinux.ali W libserial%s libserial.ads libserial.ali W logging%s logging.ads logging.ali W logging.libsimpleio%s logging-libsimpleio.adb logging-libsimpleio.ali W raspberrypi%s raspberrypi.ads raspberrypi.ali Z system%s system.ads system.ali Z system.img_int%s s-imgint.ads s-imgint.ali Z system.img_uns%s s-imguns.ads s-imguns.ali Z system.secondary_stack%s s-secsta.adb s-secsta.ali Z system.unsigned_types%s s-unstyp.ads s-unstyp.ali U buildhat.firmware%s buildhat-firmware.ads 81e5033a EE NE OO PK KU W buildhat%s buildhat.adb buildhat.ali D ada.ads 20250808065140 76789da1 ada%s D a-calend.ads 20250808065140 bf7f3cc9 ada.calendar%s D a-caldel.ads 20250808065140 9f20b83d ada.calendar.delays%s D a-charac.ads 20250808065140 2d3ec45b ada.characters%s D a-chlat1.ads 20250808065140 e0d72e76 ada.characters.latin_1%s D a-direct.ads 20250808065140 467e87a1 ada.directories%s D a-except.ads 20250808065140 e7970cd9 ada.exceptions%s D a-finali.ads 20250808065140 bf4f806b ada.finalization%s D a-ioexce.ads 20250808065140 40018c65 ada.io_exceptions%s D a-stream.ads 20250808065140 17477cbd ada.streams%s D a-string.ads 20250808065140 90ac6797 ada.strings%s D a-strmap.ads 20250808065140 1f91ebb6 ada.strings.maps%s D a-strsea.ads 20250808065140 18c3c634 ada.strings.search%s D a-sttebu.ads 20250808065140 f1ad67a2 ada.strings.text_buffers%s D a-strunb.ads 20250808065140 b10770ab ada.strings.unbounded%s D a-stuten.ads 20250808065140 c6ced0ae ada.strings.utf_encoding%s D a-tags.ads 20250808065140 fbca0ad5 ada.tags%s D a-textio.ads 20250808065140 34ef47de ada.text_io%s D a-tienio.ads 20250808065140 77610959 ada.text_io.enumeration_io%s D a-unccon.ads 20250808065140 0e9b276f ada.unchecked_conversion%s D buildhat.ads 20250912235527 e8017daf buildhat%s D buildhat-firmware.ads 20250912235527 69e47e95 buildhat.firmware%s D buildhat-firmware.adb 20251008182646 69372f2a buildhat.firmware%b D cpuinfo.ads 20250912235527 aee435f2 cpuinfo%s D debug.ads 20250822150043 902c282f debug%s D device.ads 20250912235527 44ef6d83 device%s D errno.ads 20250822150043 0f1d4ec1 errno%s D gpio.ads 20250912235441 5224934b gpio%s D gpio-libsimpleio.ads 20250912235527 fb1a05cc gpio.libsimpleio%s D interfac.ads 20250808065140 9111f9c1 interfaces%s D i-c.ads 20250808065140 e94c966a interfaces.c%s D i-cstrin.ads 20250808065140 5409c1a4 interfaces.c.strings%s D i-cstrea.ads 20250808065140 ffd01b9d interfaces.c_streams%s D io_interfaces.ads 20250912235441 03fd2692 io_interfaces%s D liblinux.ads 20250822150043 b36ea609 liblinux%s D libserial.ads 20250822150043 c31cec8f libserial%s D logging.ads 20250912235441 bf3d51bd logging%s D logging-libsimpleio.ads 20250912235527 cf4821e9 logging.libsimpleio%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-atocou.ads 20250808065140 dc18efc3 system.atomic_counters%s D s-crtl.ads 20250808065140 beb39b9e system.crtl%s D s-exctab.ads 20250808065140 91bef6ef system.exception_table%s D s-ficobl.ads 20250808065140 dc5161d4 system.file_control_block%s D s-finpri.ads 20250808065140 5970d55a system.finalization_primitives%s D s-finroo.ads 20250808065140 0a7c3ed4 system.finalization_root%s D s-imagei.ads 20250808065140 5e131ce0 system.image_i%s D s-imageu.ads 20250808065140 b0b50650 system.image_u%s D s-imgint.ads 20250808065140 67e4edfb system.img_int%s D s-imguns.ads 20250808065140 c4e23690 system.img_uns%s D s-oscons.ads 20251021062004 42659860 system.os_constants%s D s-oslock.ads 20250808065140 13fa6b78 system.os_locks%s D s-parame.ads 20250808065140 3597fc11 system.parameters%s D s-pooglo.ads 20250808065140 91708d21 system.pool_global%s D s-putima.ads 20250808065140 17291fe4 system.put_images%s D s-retsta.ads 20250808065140 0f6b06cb system.return_stack%s D s-secsta.ads 20250808065140 578279f5 system.secondary_stack%s D s-soflin.ads 20250808065140 5d88fdea system.soft_links%s D s-stache.ads 20250808065140 0b81c1fe system.stack_checking%s D s-stalib.ads 20250808065140 1c9580f6 system.standard_library%s D s-stoele.ads 20250808065140 ccded4e8 system.storage_elements%s D s-stopoo.ads 20250808065140 e9fa2dd8 system.storage_pools%s D s-stratt.ads 20250808065140 516607ae system.stream_attributes%s D s-traent.ads 20250808065140 c81cbf8c system.traceback_entries%s D s-unstyp.ads 20250808065140 fa2a7f59 system.unsigned_types%s D s-valspe.ads 20250808065140 f810d31c system.val_spec%s D s-vaispe.ads 20250808065140 8280550e system.value_i_spec%s D s-vauspe.ads 20250808065140 89269ba5 system.value_u_spec%s D s-vs_int.ads 20250808065140 06b6b724 system.vs_int%s D s-vs_uns.ads 20250808065140 e7f47a27 system.vs_uns%s D s-wchcon.ads 20250808065140 d9032363 system.wch_con%s D s-wchstw.ads 20250808065140 2d112c01 system.wch_stw%s G a e G c Z s b [load buildhat__firmware 28 13 none] G c Z b b [readfile buildhat__firmware 44 12 none] G c Z b b [calcchecksum buildhat__firmware 79 12 none] G c Z b b [reset buildhat__firmware 101 13 none] G c Z b b [serialread buildhat__firmware 122 13 none] G c Z b b [waitforstring buildhat__firmware 157 13 none] G c Z b b [send buildhat__firmware 189 13 none] G c Z b b [send buildhat__firmware 208 13 none] G c Z b b [send buildhat__firmware 228 13 none] G r c none [load buildhat__firmware 28 13 none] [create logging__libsimpleio 31 12 none] G r c none [load buildhat__firmware 28 13 none] [open libserial 39 13 none] G r c none [load buildhat__firmware 28 13 none] [strerror errno 71 12 none] G r c none [load buildhat__firmware 28 13 none] [openread liblinux 154 13 none] G r c none [load buildhat__firmware 28 13 none] [read liblinux 179 13 none] G r c none [load buildhat__firmware 28 13 none] [close liblinux 195 13 none] G r c none [load buildhat__firmware 28 13 none] [create gpio__libsimpleio 38 12 none] G r c none [load buildhat__firmware 28 13 none] [pollinput liblinux 131 13 none] G r c none [load buildhat__firmware 28 13 none] [receive libserial 62 13 none] G r c none [load buildhat__firmware 28 13 none] [put debug 38 13 none] G r c none [load buildhat__firmware 28 13 none] [send libserial 54 13 none] G r c none [readfile buildhat__firmware 44 12 none] [openread liblinux 154 13 none] G r c none [readfile buildhat__firmware 44 12 none] [strerror errno 71 12 none] G r c none [readfile buildhat__firmware 44 12 none] [read liblinux 179 13 none] G r c none [readfile buildhat__firmware 44 12 none] [close liblinux 195 13 none] G r c none [reset buildhat__firmware 101 13 none] [create gpio__libsimpleio 38 12 none] G r c none [serialread buildhat__firmware 122 13 none] [pollinput liblinux 131 13 none] G r c none [serialread buildhat__firmware 122 13 none] [strerror errno 71 12 none] G r c none [serialread buildhat__firmware 122 13 none] [receive libserial 62 13 none] G r c none [waitforstring buildhat__firmware 157 13 none] [pollinput liblinux 131 13 none] G r c none [waitforstring buildhat__firmware 157 13 none] [strerror errno 71 12 none] G r c none [waitforstring buildhat__firmware 157 13 none] [receive libserial 62 13 none] G r c none [send buildhat__firmware 189 13 none] [send libserial 54 13 none] G r c none [send buildhat__firmware 189 13 none] [strerror errno 71 12 none] G r c none [send buildhat__firmware 208 13 none] [put debug 38 13 none] G r c none [send buildhat__firmware 208 13 none] [send libserial 54 13 none] G r c none [send buildhat__firmware 208 13 none] [strerror errno 71 12 none] G r c none [send buildhat__firmware 228 13 none] [send libserial 54 13 none] G r c none [send buildhat__firmware 228 13 none] [strerror errno 71 12 none] X 1 ada.ads 18K9*Ada 22e8 23|21r6 22r6 23r6 33r10 34r10 48r37 165r22 165r43 166r22 174r12 . 262r12 266r12 270r8 274r12 278r8 325r32 X 2 a-calend.ads 36K13*Calendar 440e17 23|21w10 33r14 165r26 165r47 166r26 174r16 42I9*Time<226I9> 23|33r23 165r35 166r35 56V13*Clock{42I9} 23|165s56 174s25 103V14*"+"{42I9} 23|166s50 122V14*">"{boolean} 23|174s31 226I9 Time_Rep X 6 a-direct.ads 76K13*Directories 524e20 23|22w10 34r14 48r41 262r16 266r16 270r12 274r16 . 278r12 307I9*File_Size 23|34r26 310V13*Exists{boolean} 23|262s28 266s28 274s28 321V13*Size{307I9} 23|48s53 270s24 278s24 X 7 a-except.ads 44K13*Exceptions 309e19 23|23w10 325r36 84V13*Exception_Message{string} 23|325s47 X 21 buildhat.ads 21K9*BuildHAT 53e13 22|21r9 34r5 23|36r14 329r5 23X3*Error 23|55r13 61r13 65r13 71r13 139r13 145r13 149r13 175r17 198r13 . 202r13 218r13 222r13 237r13 241r13 263r13 267r13 271r13 275r13 279r13 287r13 25a3*DefaultSerialPort{string} 22|29r30 23|248r30 26i3*DefaultBaudRate{positive} 22|30r30 23|249r30 28M8*Byte 29A8*ByteArray(28M8) 23|44r43 48r13 79r31 228r36 292r33 295r33 X 22 buildhat-firmware.ads 21K18*Firmware 21|21k9 22|34l14 34e22 23|36b23 329l14 329t22 23a3*DefaultFirmware{string} 31r30 23|250r30 24a3*DefaultSignature{string} 32r30 23|251r30 28U13*Load 29>5 30>5 31>5 32>5 23|247b13 327l7 327t11 29a5 serialport{string} 23|248b5 262r35 284r20 30i5 baudrate{positive} 23|249b5 284r32 31a5 firmware{string} 23|250b5 266r35 267r34 270r29 271r34 292r55 32a5 signature{string} 23|251b5 274r35 275r34 278r29 279r34 295r55 X 23 buildhat-firmware.adb 38M8 Checksum 40r34 79r49 81r9 91r19 294r33 44V12 ReadFile{21|29A8} 44b12 44>21 75l7 75t15 292s46 295s46 44a21 name{string} 48r58 52r23 46i5 fd{integer} 52m41 58r19 68r20 47i5 err{integer} 52m45 54r8 55r72 58m59 60r8 61r68 68m24 70r8 71r69 48a5 inbuf{21|29A8} 58m23 58r23 58r38 64r17 74r12 49i5 count{integer} 58m52 64r8 79V12 CalcChecksum{38M8} 79b12 79>25 95l7 95t19 294s46 79a25 buf{21|29A8} 84r14 81m5 u{38M8} 85r11 86m9 86r25 88m9 88r25 91m7 91r13 94r12 84m9 b=84:14{21|28M8} 91r28 101U13 Reset 101b13 116l7 116t12 301s7 103p5 ResetOut{28|52P8} 112r5 114r5 107p5 Boot0Out{28|52P8} 122U13 SerialRead 122b13 123>5 124<5 125<5 153l7 153t17 171s9 123i5 fd{integer} 131r24 142r23 124e5 c{character} 142m27 142r27 125b5 success{boolean} 134m7 152m5 127i5 err{integer} 131m32 133r8 138r8 139r73 142m46 144r8 145r72 128i5 cnt{integer} 142m41 148r8 157U13 WaitForString 157b13 158>5 159>5 160>5 185l7 185t20 302s7 304s7 310s7 . 316s7 318s7 158i5 fd{integer} 171r20 159a5 s{string} 162r20 169r18 160o5 timeout{duration} 166r52 162a3 buf{string} 169r11 179r21 180m9 180r19 183m7 183r11 163e3 c{character} 171m24 183r24 164b3 success{boolean} 171m27 172r19 165i3 Tstart{2|42I9} 166r43 166i3 Tlate{2|42I9} 174r33 179i11 i{integer} 180r13 180r23 189U13 Send 189b13 189>18 189>32 204l7 204t11 307s7 309s7 313s7 315s7 189i18 fd{integer} 195r20 189e32 c{character} 195r24 191i5 err{integer} 195m43 197r8 198r69 192i5 cnt{integer} 195m38 201r8 208U13 Send 208b13 208>18 208>32 224l7 224t11 303s7 305s7 311s7 317s7 208i18 fd{integer} 215r20 208a32 s{string} 214r15 215r24 215r35 221r15 210i5 err{integer} 215m50 217r8 218r69 211i5 cnt{integer} 215m45 221r8 228U13 Send 228b13 228>18 228>32 243l7 243t11 308s7 314s7 228i18 fd{integer} 234r20 228a32 b{21|29A8} 234r24 234r35 240r15 230i5 err{integer} 234m50 236r8 237r69 231i5 cnt{integer} 234m45 240r8 253p5 syslog{37|36P8} 258r5 321r5 325r7 254i5 serialfd{integer} 284m51 302r21 303r12 304r21 305r12 307r12 308r12 . 309r12 310r21 311r12 313r12 314r12 315r12 316r21 317r12 318r21 255i5 err{integer} 284m61 286r8 287r69 292a7 FirmwareBytes{21|29A8} 293r46 294r59 308r22 293i7 FirmwareSize{positive} 305r31 294m7 FirmwareCRC{38M8} 305r52 295a7 SignatureBytes{21|29A8} 296r46 314r22 296i7 SignatureSize{positive} 311r36 324r10 E{7|53R9} 325r65 X 25 debug.ads 26K9*Debug 23|25w6 214r5 25|44e10 38U13*Put 23|214s11 X 27 errno.ads 25K9*errno 23|26w6 55r57 61r53 71r54 133r14 139r58 145r57 198r54 218r54 237r54 . 287r54 27|79e10 37N3*EAGAIN 23|133r20 71V12*strerror{string} 23|55s63 61s59 71s60 139s64 145s63 198s60 218s60 237s60 . 287s60 X 28 gpio.ads 26K9*GPIO 23|27r6 103r16 103r28 104r30 105r42 107r16 107r28 108r30 109r42 . 28|54e9 38n29*Output{38E8} 23|104r35 108r35 47h8*PinInterface<34|41R8[42]> 52P8*Pin(47R8) 23|103r21 107r21 X 29 gpio-libsimpleio.ads 25K14*libsimpleio 23|27w11 103r33 105r47 107r33 109r47 29|104e21 31n24*ActiveLow{31E8} 23|105r59 109r59 38V12*Create{28|52P8} 23|103s45 107s45 44e5 polarity{31E8} 23|105r30 109r30 X 34 io_interfaces.ads 41h8*InputOutputInterface 49x13*Put 23|112R14[28|42] 114R14[28|42] X 35 liblinux.ads 28K9*libLinux 23|28w6 52r5 58r5 68r5 131r5 35|221e13 131U13*PollInput 23|131s14 154U13*OpenRead 23|52s14 179U13*Read 23|58s14 195U13*Close 23|68s14 X 36 libserial.ads 28K9*libSerial 23|29w6 142r5 195r5 215r5 234r5 284r5 36|76e14 39U13*Open 23|284s15 54U13*Send 23|195s15 215s15 234s15 62U13*Receive 23|142s15 X 37 logging.ads 23K9*Logging 23|30r6 253r17 253r35 37|55e12 31h8*LoggerInterface 36P8*Logger(31R8) 23|253r25 40x13*Error 23|325R14 53x13*Note 23|258R12 321R12 X 38 logging-libsimpleio.ads 25K17*libsimpleio 23|30w14 253r43 38|78e24 31V12*Create{37|36P8} 23|253s55 X 40 raspberrypi.ads 30K9*RaspberryPi 23|31w6 103r52 107r52 40|123e16 57r3*GPIO4{26|27R8} 23|103r64 75r3*GPIO22{26|27R8} 23|107r64