#
# Copyright (C) 2015 Xilinx, Inc.
#
# This file is part of the FreeRTOS port.
#
# FreeRTOS is free software; you can redistribute it and/or modify it under
# the terms of the GNU General Public License (version 2) as published by the
# Free Software Foundation >>!AND MODIFIED BY!<< the FreeRTOS exception.
#
# NOTE: The modification to the GPL is included to allow you to distribute a
# combined work that includes FreeRTOS without being obliged to provide the
# source code for proprietary components outside of the FreeRTOS kernel.
#
# FreeRTOS is distributed in the hope that it will be useful, but WITHOUT ANY
# WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
# FOR A PARTICULAR PURPOSE.  Full license text is available on the following
# link: http://www.freertos.org/a00114.html
#

PARAMETER VERSION = 2.2.0

BEGIN OS
 PARAMETER OS_NAME = freertos822_xilinx
 PARAMETER STDIN =  *
 PARAMETER STDOUT = *
 PARAMETER SYSTMR_SPEC = true
 PARAMETER SYSTMR_DEV = *
 PARAMETER SYSINTC_SPEC = *
END