{"id":13408426,"url":"https://github.com/simonjwright/FreeRTOS-Ada","last_synced_at":"2025-03-14T13:31:11.028Z","repository":{"id":45665066,"uuid":"98212215","full_name":"simonjwright/FreeRTOS-Ada","owner":"simonjwright","description":"This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)","archived":false,"fork":false,"pushed_at":"2024-12-19T10:31:52.000Z","size":3751,"stargazers_count":69,"open_issues_count":7,"forks_count":16,"subscribers_count":13,"default_branch":"master","last_synced_at":"2025-03-10T16:55:22.578Z","etag":null,"topics":["ada","cortex","gnat","risc-v","rtos","rts"],"latest_commit_sha":null,"homepage":"","language":"Ada","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/simonjwright.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2017-07-24T16:36:27.000Z","updated_at":"2025-02-18T20:10:51.000Z","dependencies_parsed_at":"2024-02-25T13:33:21.216Z","dependency_job_id":"f058ccf3-7007-4530-b5d3-21986c99903c","html_url":"https://github.com/simonjwright/FreeRTOS-Ada","commit_stats":null,"previous_names":[],"tags_count":22,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/simonjwright%2FFreeRTOS-Ada","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/simonjwright%2FFreeRTOS-Ada/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/simonjwright%2FFreeRTOS-Ada/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/simonjwright%2FFreeRTOS-Ada/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/simonjwright","download_url":"https://codeload.github.com/simonjwright/FreeRTOS-Ada/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243584184,"owners_count":20314716,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["ada","cortex","gnat","risc-v","rtos","rts"],"created_at":"2024-07-30T20:00:52.798Z","updated_at":"2025-03-14T13:31:09.003Z","avatar_url":"https://github.com/simonjwright.png","language":"Ada","funding_links":[],"categories":["Runtimes"],"sub_categories":["Continuous Integration"],"readme":"This package includes GNAT Ada Run Time Systems (RTSs) based on [FreeRTOS](http://www.freertos.org) and targeted at boards with Cortex-M0, -M3, -M4, -M4F MCUs (respectively [BBC micro:bit](http://microbit.org), [Arduino Due](https://www.arduino.cc), and the STM32F4-series evaluation boards from [STMicroelectronics](https://www.st.com)). For discussions, visit the dedicated [Google Group](https://groups.google.com/forum/#!forum/cortex-gnat-rts).\n\nThe RTSs are all Ravenscar-based, with additional restrictions `No_Exception_Propagation` and `No_Finalization`. `No_Exception_Propagation` means that exceptions can't be caught except in their immediate scope; instead, a `Last_Chance_Handler` is called.\n\nIn each case, the board support for the RTS (configuration for size and location of Flash, RAM; clock initialization; interrupt naming) is in `$RTS/adainclude`.\n\n* For the Arduino Due, support for the on-chip peripherals is also included, in Ada spec files generated by [SVD2Ada](https://github.com/AdaCore/svd2ada).\n* For other boards, it's recommended to use the [Ada Drivers Library](https://github.com/AdaCore/Ada_Drivers_Library).\n\nThe Ada source is either original or based on FSF GCC (mainly 4.9.1, some later releases too).\n\nThe boards supported are\n\n* `microbit` for the BBC micro:bit.\n  * See `microbit/COPYING*` for licensing terms.\n  * On-chip peripheral support in `nrf51/`.\n  * Tests in `test-microbit/`.\n\n* `arduino-due` for the Arduino Due.\n  * See `arduino-due/COPYING*` for licensing terms.\n  * On-chip peripheral support in `atsam3x8e/`.\n  * Tests in `test-arduino-due/`.\n\n* `stm32f4` for the STM32F4-DISC* board (and also the Crazyflie).\n  * See `stm32f4/COPYING*` for licensing terms.\n  * On-chip peripheral support in `stm32f40x/`.\n  * Tests in `test-stm32f4/`.\n\n* `stm32f429i` for the STM32F429I-DISC* board.\n  * See `stm32f429i/COPYING*` for licensing terms.\n  * On-chip peripheral support in `stm32f429x/`.\n  * Tests in `test-stm32f429i/`.\n\nThe standard packages included (there are more, implementation-specific, ones) for all RTSs are:\n\n    Ada\n    Ada.Characters\n    Ada.Characters.Latin_1\n    Ada.Containers\n    Ada.Containers.Bounded_Hashed_Maps\n    Ada.Containers.Bounded_Vectors\n    Ada.Exceptions\n    Ada.IO_Exceptions\n    Ada.Interrupts\n    Ada.Interrupts.Names\n    Ada.Iterator_Interfaces\n    Ada.Numerics.* (except random numbers)\n    Ada.Real_Time\n    Ada.Real_Time.Timing_Events\n    Ada.Streams\n    Ada.Strings\n    Ada.Strings.Bounded\n    Ada.Strings.Maps\n    Ada.Synchronous_Task_Control\n    Ada.Tags\n    Ada.Task_Identification\n    Interfaces\n    Interfaces.C\n    Interfaces.C.Extensions\n    Interfaces.C.Pointers\n    Interfaces.C.Strings\n    System\n    System.Assertions\n    System.Address_To_Access_Conversions\n    System.Machine_Code\n    System.Storage_Elements\n    GNAT\n    GNAT.CRC32\n    GNAT.Source_Info\n\nFor installation, see the [instructions](INSTALL.md).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsimonjwright%2FFreeRTOS-Ada","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsimonjwright%2FFreeRTOS-Ada","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsimonjwright%2FFreeRTOS-Ada/lists"}