Test ran at 2025-10-09 01:21:27.683829+00:00 SOLUTION: embedded_rp2040=15.0.0: embedded runtime for the rp2040 SoC Origin: source archive embedded-rp2040-15.0.0.tar.gz at https://github.com/damaki/rp-runtimes/releases/download/v15.0.0/embedded-rp2040-15.0.0.tar.gz with hashes sha256:17c46423db88b497532ebc277a3d29cddacd4e39e2b9bec71e3c5c4c8bd4b776, sha512:869f626109a8212aed19d34d401ddebedec3b56c77d21ce5b4be47cac625993f279db42b5f09c65f7277fce837b8f30e9143322e9fb11d885724e476c8859bbc Properties: Author: AdaCore Author: Daniel King Config type: Board : Enum (generic_board, rpi_pico, adafruit_feather_rp2040, adafruit_itsybitsy_rp2040, adafruit_macropad_rp2040, adafruit_qt2040_trinkey, adafruit_qtpy_rp2040, arduino_nano_rp2040_connect, pimoroni_interstate75, pimoroni_keybow2040, pimoroni_pga2040, pimoroni_picolipo_4m, pimoroni_picolipo_16m, pimoroni_picosystem, pimoroni_plasma2040, pimoroni_tiny2040, sparkfun_micromod, sparkfun_promicro, sparkfun_thingplus) default: 'rpi_pico' Config type: Flash_Chip : Enum (generic_qspi_128, at25sf128a, gd25q64c, w25q16jv, w25q32jv, w25q64jv, w25q128jv) default: 'generic_qspi_128' Config type: Interrupt_Secondary_Stack_Size : Integer range 1 .. 9223372036854775807 default: '128' Config type: Interrupt_Stack_Size : Integer range 1 .. 9223372036854775807 default: '1024' Config type: Max_CPUs : Integer range 1 .. 2 default: '2' Config type: PLL_Sys_Post_Div_1 : Integer range 1 .. 7 default: '6' Config type: PLL_Sys_Post_Div_2 : Integer range 1 .. 7 default: '2' Config type: PLL_Sys_Reference_Div : Integer range 1 .. 63 default: '1' Config type: PLL_Sys_VCO_Multiple : Integer range 16 .. 320 default: '125' Config type: PLL_USB_Post_Div_1 : Integer range 1 .. 7 default: '5' Config type: PLL_USB_Post_Div_2 : Integer range 1 .. 7 default: '2' Config type: PLL_USB_Reference_Div : Integer range 1 .. 63 default: '1' Config type: PLL_USB_VCO_Multiple : Integer range 16 .. 320 default: '40' Config type: Time_Base : Enum (ALARM0, ALARM1, ALARM2, ALARM3) default: 'ALARM3' Config type: XOSC_Frequency : Integer range 0 .. 9223372036854775807 default: '12000000' Config type: XOSC_Startup_Delay_Mult : Integer range 1 .. 16383 default: '64' Configuration: no modifiers Description: embedded runtime for the rp2040 SoC License: GPL-3.0-or-later WITH GCC-exception-3.1 Long_Description: ## Usage First edit your `alire.toml` file and add the following elements: - Add `embedded_rp2040` in the dependency list: ```toml [[depends-on]] embedded_rp2040 = "*" ``` Then edit your project file to add the following elements: - "with" the run-time project file. With this, gprbuild will compile the run-time before your application ```ada with "runtime_build.gpr"; ``` - Specify the `Target` and `Runtime` attributes: ```ada for Target use runtime_build'Target; for Runtime ("Ada") use runtime_build'Runtime ("Ada"); ``` - specify the `Linker` switches: ```ada package Linker is for Switches ("Ada") use Runtime_Build.Linker_Switches & ("-Wl,--gc-sections"); end Linker; ``` Note that `--gc-switches` is recommended as it reduces flash and RAM usage by removing unused code and data, but it is not mandatory. See the project website for details on configuring the runtime. Maintainer: Daniel King Maintainers_Logins: damaki Name: embedded_rp2040 Project_File: runtime_build.gpr Project_File: ravenscar_build.gpr Tag: embedded Tag: runtime Version: 15.0.0 Website: https://github.com/damaki/rp-runtimes Dependencies (direct): gnat_arm_elf^15 Dependencies (solution): gnat_arm_elf=15.2.1 Dependencies (graph): embedded_rp2040=15.0.0 --> gnat_arm_elf=15.2.1 (^15) LOG: [alr test] Testing embedded_rp2040=15.0.0 [alr test] Spawning retrieval for remote crate: alr -d -n get embedded_rp2040=15.0.0 Note: Deploying embedded_rp2040=15.0.0... #=#=# 0.3% ######################################################################## 100.0% Note: Deploying gnat_arm_elf=15.2.1... #=#=# 0.0% 0.5% # 2.3% ## 4.1% ##### 7.4% ###### 8.5% ######## 12.4% ########## 14.5% ########### 16.5% ############# 18.6% ############## 20.6% ################ 22.7% ################## 25.3% ################### 26.8% #################### 28.3% ##################### 30.3% ###################### 31.0% ######################## 33.4% ######################## 34.6% ########################## 36.2% ########################### 38.0% ############################# 41.3% ############################### 43.3% ################################ 45.5% ################################## 47.5% ################################## 47.6% ################################### 48.8% ################################### 49.6% ##################################### 51.8% ####################################### 54.8% ######################################## 56.6% ########################################### 59.8% ############################################ 61.9% ############################################## 64.0% ############################################### 66.5% ################################################# 69.0% ################################################## 70.2% #################################################### 72.2% ##################################################### 74.3% ####################################################### 77.2% ######################################################### 80.1% ########################################################## 80.8% ########################################################## 81.5% ########################################################### 82.1% ########################################################### 82.8% ############################################################ 84.6% ############################################################### 87.7% ############################################################### 88.7% ################################################################# 91.3% ################################################################## 92.9% #################################################################### 94.9% ##################################################################### 97.0% ####################################################################### 99.1% ######################################################################## 100.0% Note: gnat_arm_elf=15.2.1 installed successfully. embedded_rp2040=15.0.0 successfully retrieved. Dependencies were solved as follows: +b gnat_arm_elf 15.2.1 (new,binary) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Building embedded_rp2040=15.0.0/runtime_build.gpr (1/2)... Setup [mkdir] object directory for project Runtime_Build [mkdir] library directory for project Runtime_Build Compile [C] newlib-bb.c [C] adaint-xi.c [C] raise-gcc.c [Asm_Cpp] boot2-w25qxx.S [Asm_Cpp] start-rom-2.S [Ada] s-fofi64.ads [Ada] a-nbnbig.adb [Ada] s-valrea.adb [Ada] a-ngelfu.adb [Ada] s-atocou.adb [Ada] a-ngcoar.adb [Ada] g-sestin.ads [Ada] s-pooglo.adb [Ada] s-casi16.adb [Ada] s-pack20.adb [Ada] s-pack53.adb [Ada] s-valueu.adb [Ada] g-debuti.adb [Ada] a-sbhcin.adb [Ada] s-fatgen.adb [Ada] s-imgllf.ads [Ada] s-imen32.ads [Ada] i-cstrin.adb [Ada] a-nurear.ads [Ada] s-flocon.adb [Ada] s-parame.adb [Ada] a-stunau.adb [Ada] a-sttebu.adb [Ada] s-vs_lli.ads [Ada] unchdeal.ads [Ada] i-fortra.adb [Ada] s-bbmcpa.ads [Ada] s-stache.adb [Ada] s-imenu8.ads [Ada] a-textio.adb [Ada] a-slcain.adb [Ada] s-pack60.adb [Ada] s-stoele.adb [Ada] a-ciorse.adb [Ada] a-einuoc.adb [Ada] s-strhas.adb [Ada] a-wichun.adb [Ada] s-restri.adb [Ada] s-maccod.ads [Ada] g-wistsp.ads [Ada] s-mantis.adb [Ada] s-valllf.ads [Ada] s-valuer.adb [Ada] g-sechas.adb [Ada] a-coprnu.adb [Ada] g-sehamd.adb [Ada] s-valuns.ads [Ada] s-wchcon.adb [Ada] g-dyntab.adb [Ada] s-chepoo.ads [Ada] g-cpp.ads [Ada] s-valuen.adb [Ada] a-stwise.adb [Ada] s-widenu.adb [Ada] s-string.adb [Ada] s-vade64.ads [Ada] s-pack57.adb [Ada] a-charac.ads [Ada] a-cogeso.adb [Ada] a-chzla9.ads [Ada] a-widcha.ads [Ada] s-excmac.adb [Ada] a-sulcin.adb [Ada] a-rbtgbk.adb [Ada] s-caun64.adb [Ada] s-pack44.adb [Ada] s-wwdwch.adb [Ada] s-ransee.adb [Ada] i-rp2040-watchdog.ads [Ada] s-imgint.ads [Ada] s-imde64.ads [Ada] s-pack58.adb [Ada] s-vafi32.ads [Ada] g-cstyin.adb [Ada] a-szunau.adb [Ada] s-gearop.adb [Ada] a-cohase.adb [Ada] s-imguns.ads [Ada] a-stzsup.adb [Ada] a-stbubo.adb [Ada] s-carun8.adb [Ada] a-iteint.ads [Ada] a-stzhas.adb [Ada] s-pack30.adb [Ada] s-imfi32.ads [Ada] s-genbig.adb [Ada] a-cborse.adb [Ada] s-pack33.adb [Ada] s-vercon.adb [Ada] g-sha512.ads [Ada] s-imager.adb [Ada] s-pack14.adb [Ada] s-carsi8.adb [Ada] s-rident.ads [Ada] s-imagei.adb [Ada] a-suezst.adb [Ada] s-pack19.adb [Ada] s-finroo.adb [Ada] a-sflcin.ads [Ada] s-pack54.adb [Ada] a-convec.adb [Ada] a-cborma.adb [Ada] a-swuwha.adb [Ada] a-coormu.adb [Ada] a-assert.adb [Ada] g-tasloc.ads [Ada] s-imageu.adb [Ada] s-powllf.ads [Ada] a-ciorma.adb [Ada] a-suecin.adb [Ada] s-imgcha.adb [Ada] a-costso.adb [Ada] s-widllu.ads [Ada] s-pack39.adb [Ada] g-sha224.ads [Ada] s-pack28.adb [Ada] a-nlcoty.ads [Ada] s-memory.adb [Ada] s-fode32.ads [Ada] g-hesora.adb [Ada] a-exctra.adb [Ada] s-pack22.adb [Ada] s-valuei.adb [Ada] a-elchha.adb [Ada] a-chlat1.ads [Ada] s-exponu.adb [Ada] a-decima.adb [Ada] s-pack43.adb [Ada] i-rp2040-pll_sys.ads [Ada] a-cbdlli.adb [Ada] s-valboo.adb [Ada] s-vafi64.ads [Ada] a-stzmap.adb [Ada] a-cwila9.ads [Ada] g-cppstd.adb [Ada] s-pack31.adb [Ada] s-imgwch.adb [Ada] a-chtgbk.adb [Ada] a-zchuni.adb [Ada] s-fore_f.adb [Ada] a-secain.adb [Ada] s-pack55.adb [Ada] s-pack18.adb [Ada] s-pack05.adb [Ada] s-pack36.adb [Ada] s-exponr.adb [Ada] a-chtgke.adb [Ada] s-libpre.ads [Ada] a-zchara.ads [Ada] s-shabig.ads [Ada] a-stzbou.adb [Ada] s-powlfl.ads [Ada] a-stwiha.adb [Ada] s-textio.adb [Ada] a-ncelfu.ads [Ada] a-swunau.adb [Ada] a-szfzha.ads [Ada] s-pack38.adb [Ada] s-fatllf.ads [Ada] g-casuti.adb [Ada] s-pack07.adb [Ada] a-stwibo.adb [Ada] s-pack51.adb [Ada] s-valflt.ads [Ada] a-cwila1.ads [Ada] a-uncdea.ads [Ada] s-secsta.adb [Ada] a-cbmutr.adb [Ada] s-except.adb [Ada] a-cobove.adb [Ada] s-valspe.adb [Ada] s-bitops.adb [Ada] a-swfwha.ads [Ada] s-stalib.adb [Ada] s-lisisq.adb [Ada] a-chacon.adb [Ada] i-cexten.ads [Ada] s-arit32.adb [Ada] s-rannum.adb [Ada] s-imgllu.ads [Ada] a-csquin.ads [Ada] s-vade32.ads [Ada] s-vauspe.adb [Ada] a-nbnbin.adb [Ada] s-vaispe.adb [Ada] i-cobol.adb [Ada] s-trasym.adb [Ada] s-utf_32.adb [Ada] s-widint.ads [Ada] i-c.adb [Ada] s-pack59.adb [Ada] i-pacdec.adb [Ada] s-forrea.adb [Ada] setup_clocks.adb [Ada] s-valued.adb [Ada] a-nllcef.ads [Ada] a-nselfu.ads [Ada] s-retsta.ads [Ada] s-libm.adb [Ada] s-widboo.adb [Ada] s-pack26.adb [Ada] s-widlli.ads [Ada] g-bytswa.adb [Ada] s-pack45.adb [Ada] s-excdeb.adb [Ada] s-fofi32.ads [Ada] g-except.ads [Ada] s-libdou.adb [Ada] a-calcon.adb [Ada] s-pooloc.adb [Ada] a-cohata.ads [Ada] s-pack61.adb [Ada] a-nllcar.ads [Ada] s-imgboo.adb [Ada] s-regexp.adb [Ada] s-crc32.adb [Ada] s-imagea.adb [Ada] g-io.adb [Ada] a-chzla1.ads [Ada] i-rp2040-timer.ads [Ada] s-spcuop.adb [Ada] g-hesorg.adb [Ada] s-imgflt.ads [Ada] gnat.ads [Ada] s-imagen.adb [Ada] s-imglfl.ads [Ada] s-exponn.adb [Ada] s-vaenu8.ads [Ada] a-ngrear.adb [Ada] g-busorg.adb [Ada] s-htable.adb [Ada] s-valcha.adb [Ada] a-wichha.adb [Ada] s-stopoo.adb [Ada] s-imen16.ads [Ada] s-aridou.adb [Ada] i-rp2040.ads [Ada] s-imglli.ads [Ada] a-btgbso.adb [Ada] s-atopri.adb [Ada] s-pack62.adb [Ada] a-cihama.adb [Ada] s-spark.ads [Ada] s-wwdcha.adb [Ada] s-tasloc.adb [Ada] g-regexp.ads [Ada] a-cbhama.adb [Ada] s-pack34.adb [Ada] unchconv.ads [Ada] a-chlat9.ads [Ada] a-stwima.adb [Ada] g-shsh64.adb [Ada] a-nllcty.ads [Ada] s-veboop.adb [Ada] a-crbltr.ads [Ada] s-pack11.adb [Ada] a-nllefu.ads [Ada] a-cgarso.adb [Ada] s-casuti.adb [Ada] s-widthi.adb [Ada] s-fatflt.ads [Ada] g-cppexc.adb [Ada] s-imaged.adb [Ada] a-undesu.adb [Ada] a-stbuut.adb [Ada] s-lidosq.adb [Ada] a-finali.adb [Ada] a-calend.adb [Ada] a-ngcefu.adb [Ada] s-fode64.ads [Ada] s-pack25.adb [Ada] a-cihase.adb [Ada] s-pack09.adb [Ada] s-imgllw.ads [Ada] s-finpri.adb [Ada] s-scaval.adb [Ada] g-string.ads [Ada] a-ioexce.ads [Ada] a-stwiun.adb [Ada] a-cohama.adb [Ada] a-shcain.adb [Ada] a-stfiha.ads [Ada] i-rp2040-resets.ads [Ada] s-wchjis.adb [Ada] a-ngcoty.adb [Ada] s-wchstw.adb [Ada] a-crdlli.adb [Ada] a-strfix.adb [Ada] s-pack35.adb [Ada] s-imguti.adb [Ada] a-stboha.adb [Ada] a-nucoty.ads [Ada] s-mastop.adb [Ada] g-sha256.ads [Ada] a-coinho.adb [Ada] s-expllu.ads [Ada] g-shsh32.adb [Ada] a-numaux.ads [Ada] s-pack17.adb [Ada] s-addima.adb [Ada] a-coorma.adb [Ada] a-nllrar.ads [Ada] g-crc32.adb [Ada] s-soflin.adb [Ada] s-exnflt.ads [Ada] s-vs_uns.ads [Ada] s-exnllf.ads [Ada] a-strmap.adb [Ada] s-imde32.ads [Ada] s-bytswa.ads [Ada] s-semiho.adb [Ada] a-coboho.adb [Ada] g-busora.adb [Ada] a-rbtgso.adb [Ada] s-pack42.adb [Ada] g-heasor.adb [Ada] a-contai.ads [Ada] s-atacco.adb [Ada] a-nuelfu.ads [Ada] s-vallli.ads [Ada] a-swmwco.ads [Ada] a-sfhcin.ads [Ada] system.ads [Ada] a-stunha.adb [Ada] a-szbzha.adb [Ada] s-stposu.adb [Ada] machcode.ads [Ada] s-stratt.adb [Ada] s-assert.adb [Ada] a-strsup.adb [Ada] s-pack10.adb [Ada] s-traent.adb [Ada] a-suewst.adb [Ada] a-sblcin.adb [Ada] a-cdlili.adb [Ada] g-strspl.ads [Ada] a-nlcefu.ads [Ada] s-caun32.adb [Ada] s-widthu.adb [Ada] i-cpoint.adb [Ada] a-storio.adb [Ada] s-unstyp.ads [Ada] i-rp2040-rosc.ads [Ada] g-htable.adb [Ada] s-poosiz.adb [Ada] a-tags.adb [Ada] s-arit64.adb [Ada] s-pack13.adb [Ada] a-chahan.adb [Ada] a-suenst.adb [Ada] a-nlelfu.ads [Ada] s-powflt.ads [Ada] a-cbhase.adb [Ada] s-fore_d.adb [Ada] a-coorse.adb [Ada] a-stuten.adb [Ada] a-strbou.adb [Ada] s-valuef.adb [Ada] a-nuflra.adb [Ada] g-bubsor.adb [Ada] a-crbtgk.adb [Ada] s-pack29.adb [Ada] a-stream.adb [Ada] a-swbwha.adb [Ada] text_io.ads [Ada] s-io.adb [Ada] g-md5.adb [Ada] a-nscefu.ads [Ada] g-sehash.adb [Ada] a-stzunb.adb [Ada] s-expuns.ads [Ada] s-pack46.adb [Ada] ioexcept.ads [Ada] a-szmzco.ads [Ada] s-valllu.ads [Ada] s-macres.adb [Ada] s-widuns.ads [Ada] s-imfi64.ads [Ada] g-shshco.adb [Ada] s-libsin.adb [Ada] s-pack21.adb [Ada] s-gcmain.adb [Ada] s-vaen32.ads [Ada] s-valint.ads [Ada] s-geveop.adb [Ada] a-nudira.adb [Ada] s-addope.adb [Ada] a-ciormu.adb [Ada] g-sha384.ads [Ada] s-spsufi.adb [Ada] a-stmaco.ads [Ada] a-stzsea.adb [Ada] s-pack47.adb [Ada] a-cidlli.adb [Ada] s-imad64.ads [Ada] s-pack12.adb [Ada] a-chtgbo.adb [Ada] i-rp2040-sio.ads [Ada] s-pack23.adb [Ada] s-imad32.ads [Ada] g-arrspl.adb [Ada] a-suhcin.adb [Ada] s-vaen16.ads [Ada] s-pack06.adb [Ada] s-casi32.adb [Ada] s-imgwiu.ads [Ada] a-coinve.adb [Ada] g-moreex.adb [Ada] a-nbnbre.adb [Ada] s-vallfl.ads [Ada] a-sbecin.adb [Ada] s-expmod.adb [Ada] s-vs_int.ads [Ada] i-rp2040-psm.ads [Ada] a-strunb.adb [Ada] a-nlcoar.ads [Ada] a-stzfix.adb [Ada] a-except.adb [Ada] a-crbtgo.adb [Ada] a-nlrear.ads [Ada] a-nucoar.ads [Ada] g-sha1.adb [Ada] s-bbarat.adb [Ada] s-oslock.ads [Ada] s-explli.ads [Ada] s-pack49.adb [Ada] s-expont.adb [Ada] s-valuti.adb [Ada] s-pack15.adb [Ada] s-wwdenu.adb [Ada] i-rp2040-clocks.ads [Ada] s-vs_llu.ads [Ada] a-stbuun.adb [Ada] s-putima.adb [Ada] a-numeri.ads [Ada] s-pack03.adb [Ada] s-exnlfl.ads [Ada] a-strhas.adb [Ada] a-nscoty.ads [Ada] g-comver.adb [Ada] s-imagew.adb [Ada] a-chtgop.adb [Ada] s-pack52.adb [Ada] s-vector.ads [Ada] s-traceb.adb [Ada] a-comutr.adb [Ada] s-exnlli.ads [Ada] s-pack63.adb [Ada] a-string.ads [Ada] s-widwch.adb [Ada] a-zchhan.adb [Ada] s-valwch.adb [Ada] a-sfecin.ads [Ada] s-init.adb [Ada] s-pack27.adb [Ada] ada.ads [Ada] interfac.ads [Ada] i-rp2040-xosc.ads [Ada] a-strsea.adb [Ada] s-imagef.adb [Ada] a-cgcaso.adb [Ada] s-bbbopa.ads [Ada] s-pack37.adb [Ada] s-expint.ads [Ada] s-widcha.adb [Ada] s-bootro.adb [Ada] a-unccon.ads [Ada] s-casi64.adb [Ada] s-fatlfl.ads [Ada] s-boarop.ads [Ada] s-wchcnv.adb [Ada] a-stwifi.adb [Ada] s-pack50.adb [Ada] g-table.adb [Ada] a-szuzha.adb [Ada] a-nubinu.ads [Ada] g-souinf.ads [Ada] a-stwisu.adb [Ada] a-cgaaso.adb [Ada] s-dourea.adb [Ada] s-bb.ads [Ada] s-exctab.adb [Ada] a-cimutr.adb [Ada] s-statxd.adb [Ada] s-pack41.adb [Ada] a-suenco.adb [Ada] s-exnint.ads [Ada] s-caun16.adb [Ada] a-conhel.adb [Ada] s-wchwts.adb [Ada] a-rbtgbo.adb [Ada] rp2040_runtime_config.ads [Ada] embedded_rp2040_config.ads Build Libraries [gprlib] gnat.lexch [archive] libgnat.a [index] libgnat.a Note: Building embedded_rp2040=15.0.0/ravenscar_build.gpr (2/2)... Compile [Ada] s-bbcppr.adb [Ada] s-bbprot.adb [Ada] s-bcprmu.adb [Ada] a-sytaco.adb [Ada] s-bbtiev.adb [Ada] s-tasres.ads [Ada] s-btstch.adb [Ada] s-tpobop.adb [Ada] g-boubuf.adb [Ada] s-bbexti.adb [Ada] a-reatim.adb [Ada] s-taprob.adb [Ada] s-bbinte.adb [Ada] a-exetim.adb [Ada] s-musplo.adb [Ada] s-tasdeb.adb [Ada] s-bbtime.adb [Ada] s-mufalo.adb [Ada] s-bbpara.ads [Ada] s-taspri.ads [Ada] s-bbcpsp.ads [Ada] s-reldel.adb [Ada] a-taster.adb [Ada] s-tasinf.adb [Ada] s-bbthre.adb [Ada] s-tpoben.adb [Ada] s-putaim.adb [Ada] a-rttiev.adb [Ada] s-bbbosu.adb [Ada] a-synbar.adb [Ada] s-multip.adb [Ada] g-semaph.adb [Ada] a-interr.adb [Ada] s-tarest.adb [Ada] s-tpobmu.adb [Ada] s-tasque.adb [Ada] s-tposen.adb [Ada] s-interr.adb [Ada] s-bcpcst.adb [Ada] g-boumai.ads [Ada] s-bbthqu.adb [Ada] s-taskin.adb [Ada] a-extiin.adb [Ada] s-osinte.ads [Ada] a-retide.adb [Ada] s-taprop.adb [Ada] a-taside.adb [Ada] a-intnam-2.ads Build Libraries [gprlib] gnarl.lexch [archive] libgnarl.a [index] libgnarl.a Success: Build finished successfully in 24.43 seconds. Found declared GPR file: runtime_build.gpr Found declared GPR file: ravenscar_build.gpr [alr test] Test completed SUCCESSFULLY