Home
last modified time | relevance | path

Searched +full:freertos +full:- +full:kernel (Results 1 – 25 of 707) sorted by relevance

12345678910>>...29

/Kernel-v11.1.0/portable/ThirdParty/GCC/RP2040/
Dlibrary.cmake3 # SPDX-License-Identifier: BSD-3-Clause
7 add_library(FreeRTOS-Kernel-Core INTERFACE)
8 target_sources(FreeRTOS-Kernel-Core INTERFACE
17 target_include_directories(FreeRTOS-Kernel-Core INTERFACE ${FREERTOS_KERNEL_PATH}/include)
20 target_compile_definitions(FreeRTOS-Kernel-Core INTERFACE
24 add_library(FreeRTOS-Kernel INTERFACE) target
25 target_sources(FreeRTOS-Kernel INTERFACE
29 target_include_directories(FreeRTOS-Kernel INTERFACE
33 target_link_libraries(FreeRTOS-Kernel INTERFACE
34 FreeRTOS-Kernel-Core
[all …]
DREADME.md3 This directory provides an SMP FreeRTOS-Kernel port that can be used with the Raspberry Pi Pico SDK…
5 …* Simple CMake INTERFACE libraries, to provide the FreeRTOS-Kernel and also the individual allocat…
6 * Running the FreeRTOS-Kernel and tasks on either core 0 or core 1, or both.
7 …utexes, semaphores, queues from pico_sync) between FreeRTOS tasks and code executing on a non Free…
10 more efficient to use the non SMP version in the main FreeRTOS-Kernel branch in that case.
21 This will locate the FreeRTOS kernel if it is a direct sub-module of your project, or if you provid…
22 …OS_KERNEL_PATH` variable in your environment or via `-DFREERTOS_KERNEL_PATH=/path/to/FreeRTOS-Kern…
25 `pico_sdk_init()` and will cause FreeRTOS to be included/required in all RP2040 targets in your pro…
26 version, you can include the FreeRTOS-Kernel support later in your CMake build (possibly in a subdi…
27 FreeRTOS-Kernel support will only apply to those targets which explicitly include FreeRTOS support.
[all …]
DFreeRTOS_Kernel_import.cmake3 # This can be dropped into an external project to help locate the FreeRTOS kernel
18 # check if we are inside the FreeRTOS kernel tree (i.e. this file has been included directly)
26 …FREERTOS_KERNEL_PATH to ${FREERTOS_KERNEL_PATH} based on location of FreeRTOS-Kernel-import.cmake")
27 elseif (PICO_SDK_PATH AND EXISTS "${PICO_SDK_PATH}/../FreeRTOS-Kernel")
28 set(FREERTOS_KERNEL_PATH ${PICO_SDK_PATH}/../FreeRTOS-Kernel)
34 foreach(POSSIBLE_SUFFIX Source FreeRTOS-Kernel FreeRTOS/Source)
35 # check if FreeRTOS-Kernel exists under directory that included us
47 message(FATAL_ERROR "FreeRTOS location was not specified. Please set FREERTOS_KERNEL_PATH.")
50 set(FREERTOS_KERNEL_PATH "${FREERTOS_KERNEL_PATH}" CACHE PATH "Path to the FreeRTOS Kernel")
/Kernel-v11.1.0/
DREADME.md1 …FreeRTOS/FreeRTOS-Kernel/actions/workflows/unit-tests.yml/badge.svg?branch=main&event=push)](https…
2 …decov](https://codecov.io/gh/FreeRTOS/FreeRTOS-Kernel/badge.svg?branch=main)](https://codecov.io/g…
6 This repository contains FreeRTOS kernel source/header files and kernel
8 [FreeRTOS/FreeRTOS](https://github.com/FreeRTOS/FreeRTOS)
9 repository, which contains pre-configured demo application projects under
10 ```FreeRTOS/Demo``` directory.
12 The easiest way to use FreeRTOS is to start with one of the pre-configured demo
13 application projects. That way you will have the correct FreeRTOS source files
17 [FreeRTOS Kernel Quick Start Guide](https://www.FreeRTOS.org/FreeRTOS-quick-start-guide.html)
20 Additionally, for FreeRTOS kernel feature information refer to the
[all …]
D.gitmodules1 [submodule "ThirdParty/FreeRTOS-Kernel-Partner-Supported-Ports"]
2 path = portable/ThirdParty/Partner-Supported-Ports
3 url = https://github.com/FreeRTOS/FreeRTOS-Kernel-Partner-Supported-Ports
4 [submodule "ThirdParty/FreeRTOS-Kernel-Community-Supported-Ports"]
5 path = portable/ThirdParty/Community-Supported-Ports
6 url = https://github.com/FreeRTOS/FreeRTOS-Kernel-Community-Supported-Ports
DHistory.txt1 Documentation and download available at https://www.FreeRTOS.org/
3 Changes between FreeRTOS V11.0.1 and FreeRTOS V11.1.0 released April 22, 2024
5 + 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
20 + Update all the FreeRTOS APIs to use configSTACK_DEPTH_TYPE for stack type.
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
[all …]
Devent_groups.c2 * FreeRTOS Kernel V11.1.0
5 * SPDX-License-Identifier: MIT
24 * https://www.FreeRTOS.org
25 * https://github.com/FreeRTOS
37 /* FreeRTOS includes. */
38 #include "FreeRTOS.h"
68 /*-----------------------------------------------------------*/
82 /*-----------------------------------------------------------*/
105 /* The user has provided a statically allocated event group - use it. */ in xEventGroupCreateStatic()
107 … /* More details at: https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/MISRA.md#rule-113 */ in xEventGroupCreateStatic()
[all …]
DMISRA.md3 FreeRTOS-Kernel conforms to [MISRA C:2012](https://www.misra.org.uk/misra-c)
5 Coverity static analysis version 2023.6.1. Since the FreeRTOS kernel is
6 designed for small-embedded devices, it needs to have a very small memory
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
41 - xQueueRegistry is defined with external linkage because it is accessed by the
42 kernel unit tests. It is not meant to be directly accessed by the application
51 - This rule prohibits an identifier with external linkage to have multiple
52 definitions or no definition. FreeRTOS hook functions are implemented in
[all …]
/Kernel-v11.1.0/portable/ThirdParty/
DREADME.md1 # FreeRTOS Third Party Ports
3 FreeRTOS third party ports can be supported by the FreeRTOS team, a FreeRTOS
4 partner or FreeRTOS community members. Depending on who supports it, the support
7 ## FreeRTOS Team Supported Third Party FreeRTOS Ports
9 Location: https://github.com/FreeRTOS/FreeRTOS-Kernel/tree/main/portable/ThirdParty
11 These third party FreeRTOS ports are supported by the FreeRTOS team. For a
12 FreeRTOS team supported third party FreeRTOS port:
14 * The code has been reviewed by the FreeRTOS team.
15 * FreeRTOS team has access to the hardware and the test results have been
16 verified by the FreeRTOS team.
[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
32 # Currently FreeRTOS/.github/scripts houses the release script. Download it for upcoming usage
33 - name: Checkout FreeRTOS Release Tools
36 repository: FreeRTOS/FreeRTOS
40 - name: Checkout FreeRTOS Kernel
[all …]
Dcoverity_scan.yml10 bashPass: \033[32;1mPASSED -
11 bashInfo: \033[33;1mINFO -
12 bashFail: \033[31;1mFAILED -
16 Coverity-Scan:
17 if: ( github.repository == 'FreeRTOS/FreeRTOS-Kernel' )
19 runs-on: ubuntu-latest
21 - name: Checkout the Repository
24 - env:
29 echo -e "::group::${{ env.bashInfo }} ${{ env.stepName }} ${{ env.bashEnd }}"
31 sudo apt-get -y update
[all …]
Dkernel-checks.yml1 name: Kernel-Checker
6 kernel-checker:
7 name: FreeRTOS Kernel Header Checks
8 runs-on: ubuntu-20.04
11 - name: Tool Setup
12 uses: actions/setup-python@v3
16 # There is shared code, hosted by FreeRTOS/FreeRTOS, with deps needed by header checker
17 - name: Checkout FreeRTOS Tools
20 repository: FreeRTOS/FreeRTOS
21 sparse-checkout: '.github'
[all …]
/Kernel-v11.1.0/examples/
DREADME.md1 # README for FreeRTOS-Kernel/examples
3 The easiest way to use FreeRTOS is to start with one of the pre-configured demo application project…
4 …FreeRTOS/FreeRTOS/Demo](https://github.com/FreeRTOS/FreeRTOS/tree/main/FreeRTOS/Demo) to find a li…
5 This directory aims to further facilitate the beginners in building their first FreeRTOS project.
10 …FreeRTOS example project, which uses the configuration file in the template_configuration director…
11 …to run [Synopsys Coverity](https://www.synopsys.com/software-integrity/static-analysis-tools-sast/…
17 …kernel being used in real life applications in tandem with many other libraries (i.e. FreeRTOS+TCP…
/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-…
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
38 Singe core FreeRTOS:
[all …]
DCMakeLists.txt16 …COMMAND sed -i -b -e 's/pdFALSE/pdFAIL/g' -e 's/pdTRUE/pdPASS/g' ${FREERTOS_KERNEL_SOURCE} ${FREER…
19 # Add the freertos_config for FreeRTOS-Kernel.
27 message(STATUS "Build FreeRTOS SMP example")
29 add_compile_options( -DconfigNUMBER_OF_CORES=2 -DconfigUSE_PASSIVE_IDLE_HOOK=0 )
32 # Select the heap. Values between 1-5 will pick a heap.
35 # Select the FreeRTOS port.
38 # Add the FreeRTOS-Kernel subdirectory.
39 add_subdirectory(${FREERTOS_KERNEL_PATH} FreeRTOS-Kernel)
/Kernel-v11.1.0/portable/GCC/RISC-V/chip_specific_extensions/RISCV_no_extensions/
Dfreertos_risc_v_chip_specific_extensions.h2 * FreeRTOS Kernel V11.1.0
5 * SPDX-License-Identifier: MIT
24 * https://www.FreeRTOS.org
25 * https://github.com/FreeRTOS
30 * The FreeRTOS kernel's RISC-V port is split between the the code that is
31 * common across all currently supported RISC-V chips (implementations of the
32 * RISC-V ISA), and code that tailors the port to a specific RISC-V chip:
34 * + FreeRTOS\Source\portable\GCC\RISC-V\portASM.S contains the code that
35 * is common to all currently supported RISC-V chips. There is only one
36 * portASM.S file because the same file is built for all RISC-V target chips.
[all …]
/Kernel-v11.1.0/portable/GCC/RISC-V/chip_specific_extensions/RISCV_MTIME_CLINT_no_extensions/
Dfreertos_risc_v_chip_specific_extensions.h2 * FreeRTOS Kernel V11.1.0
5 * SPDX-License-Identifier: MIT
24 * https://www.FreeRTOS.org
25 * https://github.com/FreeRTOS
30 * The FreeRTOS kernel's RISC-V port is split between the the code that is
31 * common across all currently supported RISC-V chips (implementations of the
32 * RISC-V ISA), and code that tailors the port to a specific RISC-V chip:
34 * + FreeRTOS\Source\portable\GCC\RISC-V\portASM.S contains the code that
35 * is common to all currently supported RISC-V chips. There is only one
36 * portASM.S file because the same file is built for all RISC-V target chips.
[all …]
/Kernel-v11.1.0/portable/IAR/RISC-V/chip_specific_extensions/RV32I_CLINT_no_extensions/
Dfreertos_risc_v_chip_specific_extensions.h2 * FreeRTOS Kernel V11.1.0
5 * SPDX-License-Identifier: MIT
24 * https://www.FreeRTOS.org
25 * https://github.com/FreeRTOS
30 * The FreeRTOS kernel's RISC-V port is split between the the code that is
31 * common across all currently supported RISC-V chips (implementations of the
32 * RISC-V ISA), and code that tailors the port to a specific RISC-V chip:
34 * + FreeRTOS\Source\portable\GCC\RISC-V-RV32\portASM.S contains the code that
35 * is common to all currently supported RISC-V chips. There is only one
36 * portASM.S file because the same file is built for all RISC-V target chips.
[all …]
/Kernel-v11.1.0/portable/GCC/RISC-V/chip_specific_extensions/RV32I_CLINT_no_extensions/
Dfreertos_risc_v_chip_specific_extensions.h2 * FreeRTOS Kernel V11.1.0
5 * SPDX-License-Identifier: MIT
24 * https://www.FreeRTOS.org
25 * https://github.com/FreeRTOS
30 * The FreeRTOS kernel's RISC-V port is split between the the code that is
31 * common across all currently supported RISC-V chips (implementations of the
32 * RISC-V ISA), and code that tailors the port to a specific RISC-V chip:
34 * + FreeRTOS\Source\portable\GCC\RISC-V-RV32\portASM.S contains the code that
35 * is common to all currently supported RISC-V chips. There is only one
36 * portASM.S file because the same file is built for all RISC-V target chips.
[all …]
/Kernel-v11.1.0/examples/cmake_example/
DCMakeLists.txt6 # Add the freertos_config for FreeRTOS-Kernel
15 message(STATUS "Build FreeRTOS SMP example")
17 add_compile_options( -DconfigNUMBER_OF_CORES=2 -DconfigUSE_PASSIVE_IDLE_HOOK=0 )
20 # Select the heap port. values between 1-4 will pick a heap.
26 # Adding the FreeRTOS-Kernel subdirectory
27 add_subdirectory(${FREERTOS_KERNEL_PATH} FreeRTOS-Kernel)
32 # Per library opt-out of things that are warnings/errors.
40 # FreeRTOS | CMake
41 # -------------------
51 $<$<COMPILE_LANG_AND_ID:C,GNU>:-fdiagnostics-color=always>
[all …]
/Kernel-v11.1.0/.github/scripts/
Dkernel_checker.py3 # * FreeRTOS Kernel V11.1.0
6 # * SPDX-License-Identifier: MIT
25 # * https://www.FreeRTOS.org
26 # * https://github.com/FreeRTOS
33 #--------------------------------------------------------------------------------------------------
35 #--------------------------------------------------------------------------------------------------
37 'FreeRTOS-openocd.c',
41 '.clang-format'
51 '.0-rc2',
57 '.1-kernel-only',
[all …]
/Kernel-v11.1.0/portable/GCC/RISC-V/chip_specific_extensions/Pulpino_Vega_RV32M1RM/
Dfreertos_risc_v_chip_specific_extensions.h2 * FreeRTOS Kernel V11.1.0
5 * SPDX-License-Identifier: MIT
24 * https://www.FreeRTOS.org
25 * https://github.com/FreeRTOS
30 * The FreeRTOS kernel's RISC-V port is split between the the code that is
31 * common across all currently supported RISC-V chips (implementations of the
32 * RISC-V ISA), and code that tailors the port to a specific RISC-V chip:
34 * + FreeRTOS\Source\portable\GCC\RISC-V-RV32\portASM.S contains the code that
35 * is common to all currently supported RISC-V chips. There is only one
36 * portASM.S file because the same file is built for all RISC-V target chips.
[all …]
/Kernel-v11.1.0/portable/ThirdParty/XCC/Xtensa/
Dreadme_xtensa.txt1 FreeRTOS Port for Xtensa Configurable and Diamond Processors
4 FreeRTOS Kernel Version 10.0.0
8 ------------
10 This document describes the Xtensa port for FreeRTOS multitasking RTOS.
11 For an introduction to FreeRTOS itself, please refer to FreeRTOS
14 This port currently works with FreeRTOS kernel version 10.0.0.
18 --------------------------------------------------
23 requirements. You must use Xtensa Tools to compile and link FreeRTOS and
26 NOTE: It may be possible to build and run this with the open-source
27 xtensa-linux tools provided you have the correct overlay for your Xtensa
[all …]
/Kernel-v11.1.0/portable/GCC/MicroBlazeV9/
Dportmacro.h2 * FreeRTOS Kernel V11.1.0
5 * SPDX-License-Identifier: MIT
24 * https://www.FreeRTOS.org
25 * https://github.com/FreeRTOS
32 /* *INDENT-OFF* */
36 /* *INDENT-ON* */
42 /*-----------------------------------------------------------
45 * The settings in this file configure FreeRTOS correctly for the
49 *-----------------------------------------------------------
78 /* 32-bit tick type on a 32-bit architecture, so reads of the tick count do
[all …]
/Kernel-v11.1.0/portable/GCC/MicroBlazeV8/
Dportmacro.h2 * FreeRTOS Kernel V11.1.0
5 * SPDX-License-Identifier: MIT
24 * https://www.FreeRTOS.org
25 * https://github.com/FreeRTOS
32 /* *INDENT-OFF* */
36 /* *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
[all …]

12345678910>>...29