Home
last modified time | relevance | path

Searched full:kernel (Results 1 – 25 of 710) sorted by relevance

12345678910>>...29

/Kernel-v11.1.0/portable/ThirdParty/GCC/RP2040/
Dlibrary.cmake7 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)
25 target_sources(FreeRTOS-Kernel INTERFACE
29 target_include_directories(FreeRTOS-Kernel INTERFACE
33 target_link_libraries(FreeRTOS-Kernel INTERFACE
34 FreeRTOS-Kernel-Core
41 target_compile_definitions(FreeRTOS-Kernel INTERFACE
[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.
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 …ble in your environment or via `-DFREERTOS_KERNEL_PATH=/path/to/FreeRTOS-Kernel` on the CMake comm…
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.
33 add_subdirectory(path/to/this/directory FreeRTOS-Kernel)
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
50 set(FREERTOS_KERNEL_PATH "${FREERTOS_KERNEL_PATH}" CACHE PATH "Path to the FreeRTOS Kernel")
/Kernel-v11.1.0/
DREADME.md1 …reeRTOS/FreeRTOS-Kernel/actions/workflows/unit-tests.yml/badge.svg?branch=main&event=push)](https:…
2 …tps://codecov.io/gh/FreeRTOS/FreeRTOS-Kernel/badge.svg?branch=main)](https://codecov.io/gh/FreeRTO…
6 This repository contains FreeRTOS kernel source/header files and kernel
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
33 ## To consume FreeRTOS-Kernel
44 GIT_REPOSITORY https://github.com/FreeRTOS/FreeRTOS-Kernel.git
52 git submodule add https://github.com/FreeRTOS/FreeRTOS-Kernel.git <path of the submodule>
73 In case you installed FreeRTOS-Kernel as a submodule, you will have to add it as a subdirectory:
79 - Configure the FreeRTOS-Kernel and make it available
[all …]
D.gitmodules1 [submodule "ThirdParty/FreeRTOS-Kernel-Partner-Supported-Ports"]
3 url = https://github.com/FreeRTOS/FreeRTOS-Kernel-Partner-Supported-Ports
4 [submodule "ThirdParty/FreeRTOS-Kernel-Community-Supported-Ports"]
6 url = https://github.com/FreeRTOS/FreeRTOS-Kernel-Community-Supported-Ports
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
42 kernel unit tests. It is not meant to be directly accessed by the application
53 the application and therefore, have no definition in the Kernel code.
75 for all the kernel object types (StaticEventGroup_t, StaticQueue_t,
126 are not considered part of core kernel implementation.
Devent_groups.c2 * FreeRTOS Kernel V11.1.0
107 … /* More details at: https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/MISRA.md#rule-113 */ in xEventGroupCreateStatic()
152 … /* More details at: https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/MISRA.md#rule-115 */ in xEventGroupCreate()
229 * task's event list item so the kernel knows when a match is in xEventGroupSync()
325 /* Check the user is not attempting to wait on the bits used by the kernel in xEventGroupWaitBits()
392 * task's event list item so the kernel knows when a match is in xEventGroupWaitBits()
480 /* Check the user is not attempting to clear the bits used by the kernel in xEventGroupClearBits()
533 /* More details at: https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/MISRA.md#dir-47 */ in xEventGroupGetBitsFromISR()
560 /* Check the user is not attempting to set the bits used by the kernel in xEventGroupSetBits()
715 … /* More details at: https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/MISRA.md#rule-113 */ in xEventGroupGetStaticBuffer()
[all …]
DHistory.txt30 + Add a config option to the FreeRTOS SMP Kernel to set the default core
60 + Add APIs to reset the internal state of kernel modules. These APIs are
63 + Use kernel provided implementations of vApplicationGetIdleTaskMemory() and
77 kernel common code and the kernel port code. We thank @barnatahmed for
89 release. SMP enables one instance of the FreeRTOS Kernel to schedule tasks
177 writer to control an unprivileged task’s access to kernel objects.
204 1. Opaque and indirectly verifiable integers for kernel object handles:
205 All the kernel object handles (for example, queue handles) are now
266 created kernel objects. The following new APIs are added:
275 the kernel object and free/reuse them at the time of deletion. Earlier
[all …]
Dmanifest.yml1 name : "FreeRTOS-Kernel"
3 description: "FreeRTOS Kernel."
/Kernel-v11.1.0/.github/workflows/
Dauto-release.yml1 name: Kernel-Auto-Release
40 - name: Checkout FreeRTOS Kernel
61 …S --kernel-repo-path=local_kernel --kernel-commit=${{ env.COMMIT_SHA_1 }} --new-kernel-version=${{…
97 …} --kernel-repo-path=local_kernel --kernel-commit=${{ env.COMMIT_SHA_2 }} --new-kernel-version=${{…
Dcoverity_scan.yml17 if: ( github.repository == 'FreeRTOS/FreeRTOS-Kernel' )
45 …m/download/linux64 --post-data "token=${COVERITY_TOKEN}&project=FreeRTOS-Kernel" | tar -zx --one-t…
83 --form description="FreeRTOS Kernel Commit Scan" \
84 https://scan.coverity.com/builds?project=FreeRTOS-Kernel)
122 --form description="FreeRTOS Kernel SMP Commit Scan" \
123 https://scan.coverity.com/builds?project=FreeRTOS-Kernel)
Dkernel-checks.yml1 name: Kernel-Checker
6 kernel-checker:
7 name: FreeRTOS Kernel Header Checks
/Kernel-v11.1.0/portable/ThirdParty/
DREADME.md9 Location: https://github.com/FreeRTOS/FreeRTOS-Kernel/tree/main/portable/ThirdParty
26 Location: https://github.com/FreeRTOS/FreeRTOS-Kernel-Partner-Supported-Ports/tree/main
37 contribute a FreeRTOS port is documented [here](https://github.com/FreeRTOS/FreeRTOS-Kernel-Partner…
41 Location: https://github.com/FreeRTOS/FreeRTOS-Kernel-Community-Supported-Ports/tree/main
51 contribute a FreeRTOS port is documented [here](https://github.com/FreeRTOS/FreeRTOS-Kernel-Communi…
/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
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
DCMakeLists.txt19 # Add the freertos_config for FreeRTOS-Kernel.
38 # Add the FreeRTOS-Kernel subdirectory.
39 add_subdirectory(${FREERTOS_KERNEL_PATH} FreeRTOS-Kernel)
/Kernel-v11.1.0/examples/
DREADME.md1 # README for FreeRTOS-Kernel/examples
4 …of pre-configured demos on multiple platforms which demonstrate the working of the FreeRTOS-Kernel.
10 …. This will provide you with a starting point for building your applications using FreeRTOS-Kernel.
17 Additional examples of the kernel being used in real life applications in tandem with many other li…
/Kernel-v11.1.0/portable/ThirdParty/xClang/XCOREAI/
Dportasm.S12 .align 128 /* align the kernel section to 128 bytes */
62 /* DP and CP need to be saved because these are restored for the kernel ISR. */
79 {kentsp 0 /* switch to the kernel stack. */
131 {kentsp 0 /* switch back to the kernel stack. */
186 kret /* exit kernel mode and return to the thread */
/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
30 * The FreeRTOS kernel's RISC-V port is split between the the code that is
39 * code that tailors the FreeRTOS kernel's RISC-V port to a specific RISC-V
/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
30 * The FreeRTOS kernel's RISC-V port is split between the the code that is
39 * code that tailors the FreeRTOS kernel's RISC-V port to a specific RISC-V
/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
30 * The FreeRTOS kernel's RISC-V port is split between the the code that is
39 * code that tailors the FreeRTOS kernel's RISC-V port to a specific RISC-V
/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
30 * The FreeRTOS kernel's RISC-V port is split between the the code that is
39 * code that tailors the FreeRTOS kernel's RISC-V port to a specific RISC-V
/Kernel-v11.1.0/examples/cmake_example/
DCMakeLists.txt6 # Add the freertos_config for FreeRTOS-Kernel
26 # Adding the FreeRTOS-Kernel subdirectory
27 add_subdirectory(${FREERTOS_KERNEL_PATH} FreeRTOS-Kernel)
/Kernel-v11.1.0/include/
Dportable.h2 * FreeRTOS Kernel V11.1.0
261 * @brief Checks if the calling task is authorized to access the given kernel object.
263 * @param lInternalIndexOfKernelObject The index of the kernel object in the kernel
266 * @return pdTRUE if the calling task is authorized to access the kernel object,
/Kernel-v11.1.0/.github/scripts/
Dkernel_checker.py3 # * FreeRTOS Kernel V11.1.0
57 '.1-kernel-only',
58 '.0-kernel-only',
111 ' * FreeRTOS Kernel V11.1.0\n',
/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
30 * The FreeRTOS kernel's RISC-V port is split between the the code that is
39 * code that tailors the FreeRTOS kernel's RISC-V port to a specific RISC-V

12345678910>>...29