1------------------------------------------------------------------------------ 2-- -- 3-- GNAT RUN-TIME LIBRARY COMPONENTS -- 4-- -- 5-- S Y S T E M . O S _ V E R S I O N -- 6-- -- 7-- S p e c -- 8-- -- 9-- Copyright (C) 2010-2018, AdaCore -- 10-- -- 11-- GNAT is free software; you can redistribute it and/or modify it under -- 12-- terms of the GNU General Public License as published by the Free Soft- -- 13-- ware Foundation; either version 3, or (at your option) any later ver- -- 14-- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- 15-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- 16-- or FITNESS FOR A PARTICULAR PURPOSE. -- 17-- -- 18-- As a special exception under Section 7 of GPL version 3, you are granted -- 19-- additional permissions described in the GCC Runtime Library Exception, -- 20-- version 3.1, as published by the Free Software Foundation. -- 21-- -- 22-- You should have received a copy of the GNU General Public License and -- 23-- a copy of the GCC Runtime Library Exception along with this program; -- 24-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- 25-- <http://www.gnu.org/licenses/>. -- 26-- -- 27------------------------------------------------------------------------------ 28 29-- This is the VxWorks 653 Partition OS version of this file. If you add an OS 30-- variant please be sure to update type OS_Version in all variants of this 31-- file, which is part of the Level A certified run-time libraries. 32 33package System.OS_Versions is 34 pragma Pure (System.OS_Versions); 35 type OS_Version is 36 (LynxOS_178, VxWorks_Cert, VxWorks_Cert_RTP, VxWorks_653, VxWorks_MILS); 37 OS : constant OS_Version := VxWorks_653; 38end System.OS_Versions; 39