Skip to content

Minimal Ada/SPARK run-time for embedded or other restricted targets

Notifications You must be signed in to change notification settings

dkm/kallistios_ada_runtime

 
 

Repository files navigation

Runtime for KallistiOS

Minimal Ada/SPARK run-time for KallistiOS.

This is very much Work-In-Progress (with the definition of Progress close to quasistatic progress).

It is currently very minimal and lacks the real connection with the underlying OS.

Alire support has been removed to avoid any confusion. sh-elf is not a supported target, alire can't be used yet.

About

Minimal Ada/SPARK run-time for embedded or other restricted targets

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Ada 100.0%