web analytics
Developers Forge for Open Source Ada Code and Tools - Hardware Drivers & Kernel Libraries
Hardware Drivers & Kernels
Stacks Image 708
Click on an item of the map to go to the details.
Click on one of the System & Hardware Libaries item
 
Libraries are prefixed by a logo relative to the given OpenSource License.
ALR: Component available through the ALIRE crates (component) manager and repository.
ℹ️ Click on the arrow to go to the section beneath with some more details.
ℹ️ Click on the earth symbol 🌎 to go to the mentioned site.
ℹ️ Hover on, or Click on the little page symbol 📄 to read a short description.
 


KERNELS


GNAT Zero-Footprint


GNAT RTL

Profiles

Link: gcc.gnu.org/onlinedocs/gcc-11.2.0/gnat_rm/Pragma-Profile.html#Pragma-Profile

  • Ravenscar
  • Jorvik

RTL

Link: gcc.gnu.org/onlinedocs/gcc-11.2.0/gnat_ugn/Run-Time-Libraries.html#Run-Time-Libraries


RTEMS

RTEMS

Link: docs.rtems.org/branches/master/c-user/ada_support.html


FreeRTOS

FreeRTOS

Link: freertos.org/RTOS.html


MaRTE

MaRTE

Link: marte.unican.es


PikeOS

PikeOS

Link: sysgo.com/pikeos


VxWorks

VxWorks

Link: windriver.com/solutions/learning/rtos

GDPR compliant