Home
last modified time | relevance | path

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

/Kernel-v11.0.1/
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 small-embedded devices, it needs to have a very small memory footprint and
11 Additionally, [MISRA configuration file](examples/coverity/coverity_misra.config)
18 grep 'MISRA Ref 8.4.1' . -rI
27 - pxCurrentTCB(s) is defined with external linkage but it is only referenced
29 header file is not useful as the assembly code will still need to declare it
33 - xQueueRegistry is defined with external linkage because it is accessed by the
35 and therefore, not declared in a header file.
43 - This rule prohibits an identifier with external linkage to have multiple
52 - The pointer to function is casted into void to avoid unused parameter
[all …]
DHistory.txt5 + Updated the SBOM file.
20 starting point to create the FreeRTOSConfig.h file for their application.
35 was last assigned to the task - which due to priority inheritance, may not
42 FreeRTOSConfig.h. We thank @mdnr-g for their contribution.
46 vTaskResume or vTaskResumeFromISR. We thank @Moral-Hao for their
49 FreeRTOS handlers for PendSV and SVCall interrupts on Cortex-M devices.
54 + Add CMake support to allow the application writer to select the RISC-V
58 + Make taskYIELD available to unprivileged tasks for ARMv8-M ports.
59 + Update Cortex-M23 ports to not use PSPLIM_NS. We thank @urutva for their
61 + Update the SysTick setup code for ARMv8-M ports to first configure the clock
[all …]
/Kernel-v11.0.1/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.0.1/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.0.1/.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.0.1/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.0.1/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.0.1/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.0.1/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.0.1/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.0.1/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 /*-----------------------------------------------------------*/
61 /*-----------------------------------------------------------*/
75 /*-----------------------------------------------------------*/
89 /*-----------------------------------------------------------*/
103 /*-----------------------------------------------------------*/
117 /*-----------------------------------------------------------*/
[all …]
/Kernel-v11.0.1/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* */
113 #include "newlib-freertos.h"
124 #include "picolibc-freertos.h"
227 * the project's FreeRTOSConfig.h probably pre-dates the introduction of
557 /* Used to perform any necessary initialisation - for example, open a file
564 /* Use to close a trace, for example close a file into which trace has been
2724 /* By default per-instance callbacks are not enabled for stream buffer or message buffer. */
[all …]