https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71317
--- Comment #2 from Jan Sommer <soja-lists at aries dot uberspace.de> --- It's an undefined reference to clock_getres and warnings that there are multiple definitions in Get_Page_Size. I submitted a patch which adds the clock_getres declaration and fixes the Get_Page_Size declaration to be like in other s-osinte-*.ads files. See: https://www.mail-archive.com/gcc-patches@gcc.gnu.org/msg139987.html
