Home
last modified time | relevance | path

Searched +full:- +full:- +full:config +full:- +full:file (Results 1 – 22 of 22) sorted by relevance

/Kernel-v11.1.0/examples/coverity/
DREADME.md1 # MISRA Compliance for FreeRTOS-Kernel
2 FreeRTOS-Kernel is MISRA C:2012 compliant. This directory contains a project to
3 … [Synopsys Coverity](https://www.synopsys.com/software-integrity/security-testing/static-analysis-…
15 [MISRA.md](../../MISRA.md) and [coverity_misra.config](coverity_misra.config)
20 …run on any platform mentioned [here](https://sig-docs.synopsys.com/polaris/topics/c_coverity-compa…
23 1. CMake version > 3.13.0 (You can check whether you have this by typing `cmake --version`).
25 - See download and installation instructions [here](https://gcc.gnu.org/install/).
27 - `git clone https://github.com/FreeRTOS/FreeRTOS-Kernel.git ./FreeRTOS-Kernel`
30 Go to the root directory of the FreeRTOS-Kernel repo and run the following
34 cov-configure --force --compiler cc --comptype gcc
[all …]
/Kernel-v11.1.0/
DREADME.md1 …eRTOS-Kernel/actions/workflows/unit-tests.yml/badge.svg?branch=main&event=push)](https://github.co…
2 …(https://codecov.io/gh/FreeRTOS/FreeRTOS-Kernel/badge.svg?branch=main)](https://codecov.io/gh/Free…
9 repository, which contains pre-configured demo application projects under
12 The easiest way to use FreeRTOS is to start with one of the pre-configured demo
17 [FreeRTOS Kernel Quick Start Guide](https://www.FreeRTOS.org/FreeRTOS-quick-start-guide.html)
25 [the instructions here](.github/CONTRIBUTING.md#contributing-via-pull-request).
33 ## To consume FreeRTOS-Kernel
40 - Define the source and version/tag you want to use:
44 GIT_REPOSITORY https://github.com/FreeRTOS/FreeRTOS-Kernel.git
45 GIT_TAG main #Note: Best practice to use specific git-hash or tagged version
[all …]
DCMakeLists.txt9 # DEPRECATED: FREERTOS_CONFIG_FILE_DIRECTORY - but still supported if no freertos_config defined fo…
18 …onfig` target defines the path to FreeRTOSConfig.h and optionally other freertos based config files
26 " include) # The config file directory\n"
31 …" Using deprecated 'FREERTOS_CONFIG_FILE_DIRECTORY' - please update your project CMakeLists.txt fi…
35 " include) # The config file directory\n"
44 …message(WARNING " FREERTOS_PORT is not set. Please specify it from top-level CMake file (example):…
47 " -DFREERTOS_PORT=GCC_ARM_CM4F\n"
50 " A_CUSTOM_PORT - Compiler: User Defined Target: User Defined\n"
51 " BCC_16BIT_DOS_FLSH186 - Compiler: BCC Target: 16 bit DOS Flsh186\n"
52 " BCC_16BIT_DOS_PC - Compiler: BCC Target: 16 bit DOS PC\n"
[all …]
DMISRA.md3 FreeRTOS-Kernel conforms to [MISRA C:2012](https://www.misra.org.uk/misra-c)
6 designed for small-embedded devices, it needs to have a very small memory
11 Additionally, [MISRA configuration file](examples/coverity/coverity_misra.config)
18 grep 'MISRA Ref 8.4.1' . -rI
26 - `taskENTER_CRITICAL_FROM_ISR` returns the interrupt mask and not any error
35 - pxCurrentTCB(s) is defined with external linkage but it is only referenced
37 header file is not useful as the assembly code will still need to declare it
41 - xQueueRegistry is defined with external linkage because it is accessed by the
43 and therefore, not declared in a header file.
51 - This rule prohibits an identifier with external linkage to have multiple
[all …]
DHistory.txt5 + Add ARMv7-R port with Memory Protection Unit (MPU) support.
6 + Add Memory Protection Unit (MPU) support to the Cortex-M0 port.
8 buffer when a task reads from a non-empty buffer:
9 - The task reading from a non-empty stream buffer returns immediately
11 - The task reading from a non-empty steam batching buffer blocks until the
30 + Add a config option to the FreeRTOS SMP Kernel to set the default core
37 + Add 64-bit support to the FreeRTOS Windows Simulator port. We thank @watsk
39 + Add support for 64-bit Microblaze processor to the MicroblazeV9 port. We
43 compilers. We thank @Forty-Bot for their contribution.
54 POSIX timers to address issues with signal handling in non-FreeRTOS
[all …]
/Kernel-v11.1.0/portable/ThirdParty/XCC/Xtensa/
DMakefile10 CC = xt-xcc
11 AS = xt-xcc
12 AR = xt-ar
13 XT_CORE = $(patsubst %-params,%,$(notdir $(shell xt-xcc --show-config=core)))
14 CONFIGDIR = $(shell xt-xcc --show-config=config)
16 # For platform-specific commands
34 # File lists
53 DFLAGS = -DXT_SIMULATOR
56 DFLAGS = -DXT_BOARD
60 -I$(FR_SRCDIR)$(S)..$(S)include -I$(FR_SRCDIR)$(S)..$(S)include$(S)private \
[all …]
Dxtensa_config.h3 * Copyright (C) 2015-2019 Cadence Design Systems, Inc.
6 * SPDX-License-Identifier: MIT
31 * Configuration-specific information for Xtensa build. This file must be
32 * included in FreeRTOSConfig.h to properly set up the config-dependent
35 * NOTE: To enable thread-safe C library support, XT_USE_THREAD_SAFE_CLIB must
42 /* *INDENT-OFF* */
46 /* *INDENT-ON* */
49 #include <xtensa/config/core.h>
50 #include <xtensa/config/system.h> /* required for XSHAL_CLIB */
55 /*-----------------------------------------------------------------------------
[all …]
Dxtensa_timer.h3 * Copyright (C) 2015-2019 Cadence Design Systems, Inc.
6 * SPDX-License-Identifier: MIT
35 * abstraction layer (HAL) to deal with config specifics. It may also be
38 * Edit this file to modify timer selection and to specify clock frequency and
39 * tick duration to match timer interrupt to the real-time tick duration.
54 #include <xtensa/config/system.h>
62 and priority. User may specify a timer by defining XT_TIMER_INDEX with -D,
64 not be on a high priority interrupt - an error will be reported in invalid).
119 If using a supported board via the board-independent API defined in xtbsp.h,
121 and cached during run-time initialization.
[all …]
Dportmacro.h3 * Copyright (C) 2015-2019 Cadence Design Systems, Inc.
6 * SPDX-License-Identifier: MIT
33 /* *INDENT-OFF* */
37 /* *INDENT-ON* */
45 #include <xtensa/config/core.h>
46 #include <xtensa/config/system.h> /* required for XSHAL_CLIB */
51 /*-----------------------------------------------------------
54 * The settings in this file configure FreeRTOS correctly for the
58 *-----------------------------------------------------------
84 /*-----------------------------------------------------------*/
[all …]
Dxtensa_vectors.S3 * Copyright (C) 2015-2019 Cadence Design Systems, Inc.
6 * SPDX-License-Identifier: MIT
40 Users can install application-specific interrupt handlers for low and
47 dispatched to the RTOS-specific handler. This timer cannot be hooked
51 run-time, made available by compiling this source file with
52 '-DXT_INTEXC_HOOKS' (useful for automated testing).
54 !! This file is a template that usually needs to be modified to handle !!
58 Users can also install application-specific exception handlers in the
78 Only the relevant parts of this file will be included in your RTOS build.
79 For example, this file provides interrupt vector templates for all types and
[all …]
/Kernel-v11.1.0/.github/workflows/
Dauto-release.yml1 name: Kernel-Auto-Release
15 description: "Version String for task.h on main branch (leave empty to leave as-is)."
20 release-packager:
22 runs-on: ubuntu-latest
25 - name: Tool Setup
26 uses: actions/setup-python@v2
33 - name: Checkout FreeRTOS Release Tools
40 - name: Checkout FreeRTOS Kernel
44 fetch-depth: 0
46 - name: Configure git identity
[all …]
Dunit-tests.yml6 runs-on: ubuntu-20.04
8 - name: Checkout Parent Repository
14 fetch-depth: 1
17 - name: Checkout Pull Request
22 - name: Setup Python
23 uses: actions/setup-python@master
25 python-version: 3.8
27 - name: Install packages
29 sudo apt-get install lcov cflow ruby doxygen build-essential unifdef
30 - name: Run Unit Tests with ENABLE_SANITIZER=1
[all …]
/Kernel-v11.1.0/portable/ThirdParty/GCC/RP2040/include/
Dportmacro.h6 * SPDX-License-Identifier: MIT AND BSD-3-Clause
33 /* *INDENT-OFF* */
37 /* *INDENT-ON* */
42 /*-----------------------------------------------------------
45 * The settings in this file configure FreeRTOS correctly for the
49 *-----------------------------------------------------------
72 /* 32-bit tick type on a 32-bit architecture, so reads of the tick count do
78 /*-----------------------------------------------------------*/
81 #define portSTACK_GROWTH ( -1 )
86 /* We have to use PICO_DIVIDER_DISABLE_INTERRUPTS as the source of truth rathern than our config,
[all …]
/Kernel-v11.1.0/portable/ThirdParty/GCC/Xtensa_ESP32/include/
Dxtensa_config.h2 * SPDX-FileCopyrightText: 2015-2019 Cadence Design Systems, Inc.
4 * SPDX-License-Identifier: MIT
6 * SPDX-FileContributor: 2016-2022 Espressif Systems (Shanghai) CO LTD
10 * Copyright (c) 2015-2019 Cadence Design Systems, Inc.
34 * Configuration-specific information for Xtensa build. This file must be
35 * included in FreeRTOSConfig.h to properly set up the config-dependent
38 * NOTE: To enable thread-safe C library support, XT_USE_THREAD_SAFE_CLIB must
46 /* *INDENT-OFF* */
50 /* *INDENT-ON* */
53 #include <xtensa/config/core.h>
[all …]
Dportmacro.h2 * SPDX-FileCopyrightText: 2017 Amazon.com, Inc. or its affiliates
3 * SPDX-FileCopyrightText: 2015-2019 Cadence Design Systems, Inc.
5 * SPDX-License-Identifier: MIT
7 * SPDX-FileContributor: 2016-2022 Espressif Systems (Shanghai) CO LTD
39 * Copyright (c) 2015-2019 Cadence Design Systems, Inc.
64 /* *INDENT-OFF* */
68 /* *INDENT-ON* */
75 #include <xtensa/config/core.h>
76 #include <xtensa/config/system.h> /* required for XSHAL_CLIB */
87 /* TODO: These includes are not directly used in this file. They are kept into to prevent a breakin…
[all …]
/Kernel-v11.1.0/portable/ThirdParty/xClang/XCOREAI/
Dportmacro.h38 /* 32-bit tick type on a 32-bit architecture, so reads of the tick count do
42 /*-----------------------------------------------------------*/
47 #define portSTACK_GROWTH ( -1 )
56 /* This may be set to zero in the config file if the rtos_time
73 /* Check validity of number of cores specified in config */
75 #error "Invalid number of cores specified in config!"
80 /*-----------------------------------------------------------*/
96 /*-----------------------------------------------------------*/
103 /*-----------------------------------------------------------*/
116 /*-----------------------------------------------------------*/
[all …]
/Kernel-v11.1.0/portable/ThirdParty/GCC/RP2040/
DCMakeLists.txt17 project(FreeRTOS-Kernel C CXX)
24 # if the SDK has already been initialized, then just add our libraries now - this allows
25 …# this FreeRTOS port to just be added as a sub-directory or include within another project, rather…
36 …# We need to inject the following header file into ALL SDK files (which we do via the config heade…
41 message("FreeRTOS: initialize SDK since we're the top-level")
/Kernel-v11.1.0/portable/GCC/ARM_CRx_MPU/
Dportmacro.h5 * SPDX-License-Identifier: MIT
33 * @brief Functions, Defines, and Structs for use in the ARM_CRx_MPU FreeRTOS-Port
34 * @file portmacro.h
35 * @note The settings in this file configure FreeRTOS correctly for the given
46 /* ------------------------------ FreeRTOS Config Check ------------------------------ */
62 /* ----------------------------------------------------------------------------------- */
105 ( uxTopPriority ) = ( 31UL - ulPortCountLeadingZeros( ( uxTopReadyPriority ) ) )
109 /* ------------------------------ Port Type Definitions ------------------------------ */
162 * @note Using 32-bit tick type on a 32-bit architecture ensures that reads of
172 #define portSTACK_GROWTH ( -1 )
[all …]
/Kernel-v11.1.0/examples/template_configuration/
DFreeRTOSConfig.h5 * SPDX-License-Identifier: MIT
30 * This file provides an example FreeRTOSConfig.h header file, inclusive of an
36 * before this file will build.
39 * generic file, if one is available.
56 /* configSYSTICK_CLOCK_HZ is an optional parameter for ARM Cortex-M ports only.
58 * By default ARM Cortex-M ports generate the RTOS tick interrupt from the
59 * Cortex-M SysTick timer. Most Cortex-M MCUs run the SysTick timer at the same
60 * frequency as the MCU itself - when that is the case configSYSTICK_CLOCK_HZ is
80 /* Set configUSE_PREEMPTION to 1 to use pre-emptive scheduling. Set
81 * configUSE_PREEMPTION to 0 to use co-operative scheduling.
[all …]
/Kernel-v11.1.0/portable/ThirdParty/GCC/Xtensa_ESP32/
Dxtensa_vectors.S2 * SPDX-FileCopyrightText: 2015-2019 Cadence Design Systems, Inc.
4 * SPDX-License-Identifier: MIT
6 * SPDX-FileContributor: 2016-2022 Espressif Systems (Shanghai) CO LTD
9 * Copyright (c) 2015-2019 Cadence Design Systems, Inc.
32 --------------------------------------------------------------------------------
43 Users can install application-specific interrupt handlers for low and
50 dispatched to the RTOS-specific handler. This timer cannot be hooked
54 run-time, made available by compiling this source file with
55 '-DXT_INTEXC_HOOKS' (useful for automated testing).
57 !! This file is a template that usually needs to be modified to handle !!
[all …]
/Kernel-v11.1.0/portable/IAR/ARM_CM4F_MPU/
Dmpu_wrappers_v2_asm.S5 * SPDX-License-Identifier: MIT
29 /* Including FreeRTOSConfig.h here will cause build errors if the header file
30 * contains code not understood by the assembler - for example the 'extern' keyword.
39 /*-----------------------------------------------------------*/
45 /*-----------------------------------------------------------*/
60 /*-----------------------------------------------------------*/
73 /*-----------------------------------------------------------*/
86 /*-----------------------------------------------------------*/
99 /*-----------------------------------------------------------*/
112 /*-----------------------------------------------------------*/
[all …]
/Kernel-v11.1.0/include/
DFreeRTOS.h5 * SPDX-License-Identifier: MIT
39 * + If using GCC ensure the -nostdint options is *not* being used.
52 /* *INDENT-OFF* */
56 /* *INDENT-ON* */
117 #include "newlib-freertos.h"
128 #include "picolibc-freertos.h"
231 * the project's FreeRTOSConfig.h probably pre-dates the introduction of
605 /* Used to perform any necessary initialisation - for example, open a file
612 /* Use to close a trace, for example close a file into which trace has been
2796 /* By default per-instance callbacks are not enabled for stream buffer or message buffer. */
[all …]