News for hackers. Stuff that matters.
Re:Ten Years of Using SPARK to Build CubeSat Nano Satellites... by okl on Sunday March 03, 2019 @05:06PM (#19297228)
Adacore releases a GCC/GNAT compiler on their website that has no runtime library exception. You can build your own GCC/GNAT (not difficult) or install from another source (e.g. your distro's repo).

Another option is to only release your source code.

There are no comments on this comment yet.