| # | |
| # 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 |