Where to get Zero Footprint Profile?

[droiddermo@gmail.com]

It is said that Zero Footprint Profile allows some restricted Ada subset to be compiled and run on bare metal (without relying on any code from standard Ada's runtime library). So for example ZFP should allow us to create operating system using Ada. Basically ZFP is a tiny runtime library, that implements only compiler's intrinsics and doesn't rely on any services that are provided by operating system. But where to get ZFP?  GNAT GPL provides only default runtime library (profile). I've googled out that some people reinvent a tiny subset of ZFP in order to make their OS experiments, like it is done here: https://github.com/Lucretia/tamp... So is there any ZFP available and where to get it, or I have to reimplement it myself?