Test ran at 2025-07-27 00:59:02.908651+00:00 SOLUTION: embedded_stm32f0xx=15.0.0: embedded runtime for the STM32F0xx SoC Origin: source archive embedded-stm32f0xx-15.0.0.tar.gz at https://github.com/damaki/stm32f0xx-runtimes/releases/download/v15.0.0/embedded-stm32f0xx-15.0.0.tar.gz with hashes sha256:c4798e79abb643fcb26f3326cd58f1f74122db914d0a8bd083c0efcae5281f73, sha512:b7732a764f13b39b75e1d26dd1336f9ae7087496c9629009114fc8a2b251a712b457cd0e95648a3eb4ef2d48f9d4bbea85af1e9d2ac29c3143505a37f2e3f7a8 Properties: Author: AdaCore Author: Daniel King Config type: AHB_Pre : Enum (DIV1, DIV2, DIV4, DIV8, DIV16, DIV64, DIV128, DIV256, DIV512) default: 'DIV1' Config type: APB_Pre : Enum (DIV1, DIV2, DIV4, DIV8, DIV16) default: 'DIV2' Config type: HSE_Bypass : Boolean default: 'false' Config type: HSE_Clock_Frequency : Integer range 1 .. 32000000 default: '8000000' Config type: LSI_Enabled : Boolean default: 'true' Config type: MCU_Pin_Count : Enum (C, E, F, G, K, R, V) default: 'R' Config type: MCU_Sub_Family : Enum (F030, F031, F038, F042, F048, F051, F058, F070, F071, F072, F078, F091, F098) default: 'F072' Config type: MCU_User_Code_Memory_Size : String default: 'B' Config type: PLLMUL : Integer range 2 .. 16 default: '12' Config type: PLL_Src : Enum (HSI_2, HSI_PREDIV, HSE_PREDIV, HSI48_PREDIV) default: 'HSI_2' Config type: PREDIV : Integer range 1 .. 16 default: '2' Config type: SYSCLK_Src : Enum (HSI, HSE, PLL, HSI48) default: 'PLL' Configuration: no modifiers Description: embedded runtime for the STM32F0xx 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_stm32f0xx` in the dependency list: ```toml [[depends-on]] embedded_stm32f0xx = "*" ``` - if applicable, apply any runtime configuration variables (see below). 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; end Linker; ``` The runtime is configurable via Alire crate configuration variables. See the project website for full details of the available options. By default, the runtime is configured for the STM32F072RB. If your board has a different MCU, then you will need to specify which MCU you are using via the crate configuration. For example, to configure the runtime for the STM32F030F4, add the following to your `alire.toml`: ```toml [configuration.values] embedded_stm32f0xx.MCU_Sub_Family = "F030" embedded_stm32f0xx.MCU_Pin_Count = "F" embedded_stm32f0xx.MCU_User_Code_Memory_Size = "4" ``` By default, the runtime configures the clock tree for a 48 MHz system clock from the high-speed internal (HSI) oscillator. If you want a different clock configuration, then use the crate configuration variables to specify the configuration you wish to use. For example, to configure the runtime to generate a 32 MHz system clock from a 16 MHz HSE crystal oscillator: ```toml [configuration.values] # Configure a 16 MHz HSE crystal oscillator embedded_stm32f0xx.HSE_Clock_Frequency = 16000000 embedded_stm32f0xx.HSE_Bypass = false # Use the PLL as the SYSCLK source embedded_stm32f0xx.SYSCLK_Src = "PLL" # Configure the PLL input for a 16 MHz input from the HSE embedded_stm32f0xx.PLL_Src = "HSE_PREDIV" embedded_stm32f0xx.PREDIV = 1 # Configure the PLL to output 32 MHz (16 MHz * 2) embedded_stm32f0xx.PLLMUL = 2 # Configure the AHB an APB to also run at 32 MHz embedded_stm32f0xx.AHB_Pre = "DIV1" embedded_stm32f0xx.APB_Pre = "DIV1" ``` Maintainer: Daniel King Maintainers_Logins: damaki Name: embedded_stm32f0xx Project_File: runtime_build.gpr Project_File: ravenscar_build.gpr Tag: embedded Tag: runtime Tag: stm32f0 Version: 15.0.0 Website: https://github.com/damaki/stm32f0xx-runtimes Dependencies (direct): gnat_arm_elf^15 Dependencies (solution): gnat_arm_elf=15.1.2 Dependencies (graph): embedded_stm32f0xx=15.0.0 --> gnat_arm_elf=15.1.2 (^15) LOG: [alr test] Testing embedded_stm32f0xx=15.0.0 [alr test] Spawning retrieval for remote crate: alr -d -n get embedded_stm32f0xx=15.0.0 Note: Deploying embedded_stm32f0xx=15.0.0... #=#=# ##O#-# ############################### 43.7% ######################################################################## 100.0% embedded_stm32f0xx=15.0.0 successfully retrieved. Dependencies were solved as follows: +b gnat_arm_elf 15.1.2 (new,binary) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Building embedded_stm32f0xx=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] raise-gcc.c [C] newlib-bb.c [C] adaint-xi.c [Asm_Cpp] start-rom.s [Asm_Cpp] breakpoint_handler-cortexm.s [Asm_Cpp] start-ram.s [Ada] a-cwila9.ads [Ada] a-stream.adb [Ada] s-wchcnv.adb [Ada] s-powlfl.ads [Ada] a-stzhas.adb [Ada] g-tasloc.ads [Ada] a-sfecin.ads [Ada] a-cbhase.adb [Ada] a-nucoty.ads [Ada] s-widint.ads [Ada] g-bytswa.adb [Ada] s-imagea.adb [Ada] a-stbubo.adb [Ada] s-imguns.ads [Ada] s-wwdenu.adb [Ada] g-casuti.adb [Ada] s-pack43.adb [Ada] s-pack57.adb [Ada] s-textio.adb [Ada] a-cborse.adb [Ada] a-cohata.ads [Ada] s-exctab.adb [Ada] s-spcuop.adb [Ada] s-pack42.adb [Ada] g-shsh64.adb [Ada] s-imagew.adb [Ada] a-swfwha.ads [Ada] a-stunha.adb [Ada] s-exponr.adb [Ada] g-cstyin.adb [Ada] g-arrspl.adb [Ada] s-htable.adb [Ada] a-nllefu.ads [Ada] g-hesora.adb [Ada] s-genbig.adb [Ada] s-valuei.adb [Ada] s-veboop.adb [Ada] s-atocou.adb [Ada] s-vector.ads [Ada] a-cbdlli.adb [Ada] s-memory.adb [Ada] s-valuns.ads [Ada] s-widcha.adb [Ada] s-imageu.adb [Ada] s-vs_lli.ads [Ada] s-pack54.adb [Ada] g-md5.adb [Ada] a-chlat9.ads [Ada] a-strmap.adb [Ada] s-excdeb.adb [Ada] a-ngcoty.adb [Ada] s-pack41.adb [Ada] a-nlrear.ads [Ada] s-pack55.adb [Ada] s-excmac.adb [Ada] i-cpoint.adb [Ada] s-fofi32.ads [Ada] s-widwch.adb [Ada] a-cgarso.adb [Ada] a-suezst.adb [Ada] s-expllu.ads [Ada] s-exponu.adb [Ada] a-stzsup.adb [Ada] s-vade64.ads [Ada] s-ransee.adb [Ada] s-imgflt.ads [Ada] s-init.adb [Ada] s-expmod.adb [Ada] a-chtgke.adb [Ada] a-szunau.adb [Ada] gnat.ads [Ada] s-widthi.adb [Ada] setup_pll.adb [Ada] a-stzbou.adb [Ada] s-pack51.adb [Ada] s-pack45.adb [Ada] s-imglli.ads [Ada] a-nselfu.ads [Ada] s-pack44.adb [Ada] g-sha224.ads [Ada] a-szmzco.ads [Ada] g-shshco.adb [Ada] s-pack50.adb [Ada] a-stwiun.adb [Ada] s-fatllf.ads [Ada] a-conhel.adb [Ada] s-rident.ads [Ada] s-imagef.adb [Ada] g-cppexc.adb [Ada] a-ciormu.adb [Ada] a-suecin.adb [Ada] s-regexp.adb [Ada] s-stache.adb [Ada] s-addima.adb [Ada] a-widcha.ads [Ada] a-cbmutr.adb [Ada] s-expont.adb [Ada] s-valflt.ads [Ada] g-hesorg.adb [Ada] s-spsufi.adb [Ada] s-imenu8.ads [Ada] a-szuzha.adb [Ada] s-trasym.adb [Ada] a-stfiha.ads [Ada] s-bbpara.ads [Ada] s-libm.adb [Ada] s-imaged.adb [Ada] a-stbuut.adb [Ada] s-pack46.adb [Ada] s-pack52.adb [Ada] s-libpre.ads [Ada] s-soflin.adb [Ada] s-carun8.adb [Ada] s-pack53.adb [Ada] s-pack47.adb [Ada] s-imager.adb [Ada] a-iteint.ads [Ada] s-vallli.ads [Ada] a-ciorma.adb [Ada] s-vs_uns.ads [Ada] s-vaispe.adb [Ada] s-geveop.adb [Ada] s-valuen.adb [Ada] a-nlcoar.ads [Ada] g-sha384.ads [Ada] s-imfi64.ads [Ada] a-cihama.adb [Ada] s-imgwch.adb [Ada] a-chzla1.ads [Ada] unchconv.ads [Ada] g-sehash.adb [Ada] a-swuwha.adb [Ada] a-chtgbo.adb [Ada] s-fore_d.adb [Ada] a-calcon.adb [Ada] s-vaen16.ads [Ada] s-pack20.adb [Ada] s-pack34.adb [Ada] s-assert.adb [Ada] a-zchhan.adb [Ada] a-finali.adb [Ada] unchdeal.ads [Ada] s-valint.ads [Ada] s-exnllf.ads [Ada] a-string.ads [Ada] s-pack35.adb [Ada] s-pack21.adb [Ada] s-pack09.adb [Ada] a-shcain.adb [Ada] a-strsup.adb [Ada] s-bbbopa.ads [Ada] a-cborma.adb [Ada] s-imgcha.adb [Ada] s-vallfl.ads [Ada] a-sttebu.adb [Ada] s-vercon.adb [Ada] a-stwiha.adb [Ada] a-unccon.ads [Ada] i-pacdec.adb [Ada] a-sbecin.adb [Ada] s-oslock.ads [Ada] s-except.adb [Ada] a-costso.adb [Ada] a-strbou.adb [Ada] a-cbhama.adb [Ada] g-sestin.ads [Ada] a-coinve.adb [Ada] s-restri.adb [Ada] s-casi32.adb [Ada] a-ngcefu.adb [Ada] s-finpri.adb [Ada] g-debuti.adb [Ada] s-valwch.adb [Ada] s-chepoo.ads [Ada] a-elchha.adb [Ada] s-fode64.ads [Ada] s-imgwiu.ads [Ada] a-nbnbin.adb [Ada] s-pooglo.adb [Ada] s-arit32.adb [Ada] s-imad64.ads [Ada] s-pack37.adb [Ada] s-pack23.adb [Ada] s-unstyp.ads [Ada] s-pack22.adb [Ada] s-flocon.adb [Ada] s-imglfl.ads [Ada] g-sha256.ads [Ada] s-valcha.adb [Ada] s-pack36.adb [Ada] s-widuns.ads [Ada] a-nbnbre.adb [Ada] a-csquin.ads [Ada] s-fore_f.adb [Ada] a-stwifi.adb [Ada] s-imgint.ads [Ada] g-wistsp.ads [Ada] s-fatgen.adb [Ada] a-swmwco.ads [Ada] i-cobol.adb [Ada] s-vauspe.adb [Ada] s-poosiz.adb [Ada] a-cimutr.adb [Ada] s-wwdcha.adb [Ada] a-ioexce.ads [Ada] s-casuti.adb [Ada] a-btgbso.adb [Ada] s-imen32.ads [Ada] a-coboho.adb [Ada] a-einuoc.adb [Ada] a-undesu.adb [Ada] a-cidlli.adb [Ada] s-rannum.adb [Ada] s-gearop.adb [Ada] s-stratt.adb [Ada] s-pack26.adb [Ada] s-stopoo.adb [Ada] s-vs_int.ads [Ada] s-wchwts.adb [Ada] g-strspl.ads [Ada] a-rbtgso.adb [Ada] g-htable.adb [Ada] s-pack27.adb [Ada] a-nllcar.ads [Ada] s-pack33.adb [Ada] a-strhas.adb [Ada] ioexcept.ads [Ada] s-wwdwch.adb [Ada] s-vafi32.ads [Ada] s-wchstw.adb [Ada] a-nlelfu.ads [Ada] s-boarop.ads [Ada] machcode.ads [Ada] s-carsi8.adb [Ada] s-statxd.adb [Ada] a-cihase.adb [Ada] s-widenu.adb [Ada] a-contai.ads [Ada] s-string.adb [Ada] s-mantis.adb [Ada] s-imde32.ads [Ada] s-pack25.adb [Ada] s-pack31.adb [Ada] s-pack19.adb [Ada] a-ciorse.adb [Ada] s-widlli.ads [Ada] i-cstrin.adb [Ada] s-pack18.adb [Ada] s-pack30.adb [Ada] a-chtgbk.adb [Ada] s-powflt.ads [Ada] s-caun32.adb [Ada] s-putima.adb [Ada] a-stzmap.adb [Ada] a-szfzha.ads [Ada] s-lisisq.adb [Ada] g-cpp.ads [Ada] g-sechas.adb [Ada] s-valuti.adb [Ada] a-slcain.adb [Ada] a-wichun.adb [Ada] a-coormu.adb [Ada] s-stm32.adb [Ada] s-pack29.adb [Ada] a-nuelfu.ads [Ada] s-pack15.adb [Ada] i-c.adb [Ada] s-atopri.adb [Ada] s-pack14.adb [Ada] g-sha512.ads [Ada] a-stwisu.adb [Ada] s-pack28.adb [Ada] g-shsh32.adb [Ada] s-stalib.adb [Ada] s-caun16.adb [Ada] a-suewst.adb [Ada] a-nuflra.adb [Ada] s-expint.ads [Ada] a-chzla9.ads [Ada] s-forrea.adb [Ada] g-crc32.adb [Ada] g-heasor.adb [Ada] a-strunb.adb [Ada] a-calend.adb [Ada] s-valboo.adb [Ada] g-string.ads [Ada] s-powllf.ads [Ada] s-imguti.adb [Ada] a-numeri.ads [Ada] a-cohama.adb [Ada] s-imen16.ads [Ada] a-nbnbig.adb [Ada] a-suenst.adb [Ada] s-aridou.adb [Ada] a-storio.adb [Ada] a-coorma.adb [Ada] a-stuten.adb [Ada] a-secain.adb [Ada] a-szbzha.adb [Ada] s-gcmain.adb [Ada] s-pack03.adb [Ada] s-pack17.adb [Ada] a-ngelfu.adb [Ada] s-spark.ads [Ada] a-crbtgk.adb [Ada] a-cogeso.adb [Ada] a-chahan.adb [Ada] s-imgboo.adb [Ada] a-uncdea.ads [Ada] s-fofi64.ads [Ada] a-sfhcin.ads [Ada] i-cexten.ads [Ada] s-io.adb [Ada] g-sha1.adb [Ada] s-casi16.adb [Ada] s-vade32.ads [Ada] a-stmaco.ads [Ada] s-exnflt.ads [Ada] a-crbtgo.adb [Ada] a-nlcefu.ads [Ada] a-convec.adb [Ada] s-stoele.adb [Ada] a-chtgop.adb [Ada] a-nubinu.ads [Ada] s-bb.ads [Ada] s-pack13.adb [Ada] s-pack07.adb [Ada] a-stwise.adb [Ada] s-widllu.ads [Ada] s-exnlli.ads [Ada] s-pack06.adb [Ada] s-pack12.adb [Ada] s-libdou.adb [Ada] g-io.adb [Ada] a-nscoty.ads [Ada] a-stunau.adb [Ada] a-zchuni.adb [Ada] a-stzsea.adb [Ada] s-valrea.adb [Ada] g-except.ads [Ada] a-nllrar.ads [Ada] a-stzfix.adb [Ada] a-decima.adb [Ada] a-suhcin.adb [Ada] s-bitops.adb [Ada] a-charac.ads [Ada] s-addope.adb [Ada] s-pack10.adb [Ada] s-vaen32.ads [Ada] s-pack38.adb [Ada] s-traent.adb [Ada] a-coprnu.adb [Ada] s-pack39.adb [Ada] a-textio.adb [Ada] s-pack11.adb [Ada] s-pack05.adb [Ada] ada.ads [Ada] a-nllcty.ads [Ada] a-cdlili.adb [Ada] s-fatlfl.ads [Ada] a-sblcin.adb [Ada] g-cppstd.adb [Ada] s-imfi32.ads [Ada] s-fatflt.ads [Ada] g-dyntab.adb [Ada] a-cobove.adb [Ada] s-widboo.adb [Ada] s-maccod.ads [Ada] s-crc32.adb [Ada] a-rbtgbk.adb [Ada] g-sehamd.adb [Ada] a-strsea.adb [Ada] s-pack62.adb [Ada] g-bubsor.adb [Ada] s-imgllf.ads [Ada] a-suenco.adb [Ada] s-pack63.adb [Ada] s-bbarat.adb [Ada] a-stbuun.adb [Ada] s-vs_llu.ads [Ada] s-imagei.adb [Ada] s-valspe.adb [Ada] a-ngcoar.adb [Ada] g-regexp.ads [Ada] s-mastop.adb [Ada] s-shabig.ads [Ada] s-valueu.adb [Ada] s-wchjis.adb [Ada] a-cwila1.ads [Ada] s-atacco.adb [Ada] a-chacon.adb [Ada] s-expuns.ads [Ada] s-stposu.adb [Ada] a-sbhcin.adb [Ada] s-exponn.adb [Ada] s-casi64.adb [Ada] g-souinf.ads [Ada] a-tags.adb [Ada] a-ncelfu.ads [Ada] s-fode32.ads [Ada] s-strhas.adb [Ada] s-arit64.adb [Ada] s-imad32.ads [Ada] interfac.ads [Ada] s-pack49.adb [Ada] a-nucoar.ads [Ada] s-pack61.adb [Ada] a-nudira.adb [Ada] s-secsta.adb [Ada] a-coorse.adb [Ada] s-exnlfl.ads [Ada] s-pack60.adb [Ada] s-pooloc.adb [Ada] a-chlat1.ads [Ada] s-exnint.ads [Ada] a-cgaaso.adb [Ada] a-strfix.adb [Ada] s-valllf.ads [Ada] g-busorg.adb [Ada] a-cohase.adb [Ada] a-sulcin.adb [Ada] s-wchcon.adb [Ada] s-scaval.adb [Ada] s-macres.adb [Ada] s-traceb.adb [Ada] g-table.adb [Ada] s-valuer.adb [Ada] a-swbwha.adb [Ada] a-nscefu.ads [Ada] s-tasloc.adb [Ada] a-crbltr.ads [Ada] a-numaux.ads [Ada] s-valllu.ads [Ada] a-stwibo.adb [Ada] a-stzunb.adb [Ada] s-vaenu8.ads [Ada] s-imagen.adb [Ada] a-wichha.adb [Ada] s-bytswa.ads [Ada] a-nllcef.ads [Ada] s-pack58.adb [Ada] s-imgllw.ads [Ada] s-pack59.adb [Ada] a-stwima.adb [Ada] s-vafi64.ads [Ada] a-cgcaso.adb [Ada] a-ngrear.adb [Ada] g-moreex.adb [Ada] s-utf_32.adb [Ada] s-finroo.adb [Ada] a-nlcoty.ads [Ada] a-zchara.ads [Ada] s-valued.adb [Ada] a-crdlli.adb [Ada] s-semiho.adb [Ada] s-parame.adb [Ada] g-comver.adb [Ada] s-valuef.adb [Ada] a-comutr.adb [Ada] a-nurear.ads [Ada] text_io.ads [Ada] system.ads [Ada] a-coinho.adb [Ada] a-except.adb [Ada] a-sflcin.ads [Ada] s-libsin.adb [Ada] i-fortra.adb [Ada] s-imde64.ads [Ada] s-imgllu.ads [Ada] a-assert.adb [Ada] s-caun64.adb [Ada] s-retsta.ads [Ada] a-exctra.adb [Ada] a-rbtgbo.adb [Ada] s-widthu.adb [Ada] a-swunau.adb [Ada] g-busora.adb [Ada] s-dourea.adb [Ada] a-stboha.adb [Ada] s-explli.ads [Ada] s-lidosq.adb [Ada] embedded_stm32f0xx_config.ads [Ada] stm32f0xx_runtime_config.ads [Ada] i-stm32_2.ads [Ada] i-stm32-flash_2.ads [Ada] i-stm32-rcc_2.ads [Ada] s-bbmcpa-full.ads Build Libraries [gprlib] gnat.lexch [archive] libgnat.a [index] libgnat.a Note: Building embedded_stm32f0xx=15.0.0/ravenscar_build.gpr (2/2)... Compile [Ada] a-synbar.adb [Ada] a-retide.adb [Ada] s-tasque.adb [Ada] s-tpoben.adb [Ada] g-boumai.ads [Ada] s-bcprmu.adb [Ada] s-taprop.adb [Ada] s-interr.adb [Ada] s-bbbosu.adb [Ada] s-taprob.adb [Ada] s-bbcpsp.ads [Ada] s-taskin.adb [Ada] g-semaph.adb [Ada] s-taspri.ads [Ada] a-extiin.adb [Ada] a-reatim.adb [Ada] s-bbcppr.adb [Ada] s-tarest.adb [Ada] s-multip.adb [Ada] s-tasres.ads [Ada] s-bbtime.adb [Ada] s-tasdeb.adb [Ada] s-tpobmu.adb [Ada] a-taside.adb [Ada] a-sytaco.adb [Ada] s-bbthre.adb [Ada] a-taster.adb [Ada] s-tasinf.adb [Ada] a-exetim.adb [Ada] s-tpobop.adb [Ada] a-interr.adb [Ada] s-bbexti.adb [Ada] s-bbthqu.adb [Ada] s-mufalo.adb [Ada] s-bcpcst.adb [Ada] s-osinte.ads [Ada] a-rttiev.adb [Ada] s-tposen.adb [Ada] s-putaim.adb [Ada] s-bbtiev.adb [Ada] s-reldel.adb [Ada] s-bbprot.adb [Ada] g-boubuf.adb [Ada] s-musplo.adb [Ada] s-btstch.adb [Ada] s-bbinte.adb [Ada] a-intnam_2.ads Build Libraries [gprlib] gnarl.lexch [archive] libgnarl.a [index] libgnarl.a Success: Build finished successfully in 17.73 seconds. Found declared GPR file: runtime_build.gpr Found declared GPR file: ravenscar_build.gpr [alr test] Test completed SUCCESSFULLY