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