Searched +full:kernel +full:- +full:checker (Results 1 – 3 of 3) sorted by relevance
1 name: Kernel-Checker6 kernel-checker:7 name: FreeRTOS Kernel Header Checks8 runs-on: ubuntu-20.0411 - name: Tool Setup12 uses: actions/setup-python@v316 # There is shared code, hosted by FreeRTOS/FreeRTOS, with deps needed by header checker17 - name: Checkout FreeRTOS Tools21 sparse-checkout: '.github'26 - name: Checkout Pull Request[all …]
3 # * FreeRTOS Kernel V11.1.06 # * SPDX-License-Identifier: MIT33 #--------------------------------------------------------------------------------------------------35 #--------------------------------------------------------------------------------------------------37 'FreeRTOS-openocd.c',41 '.clang-format'51 '.0-rc2',57 '.1-kernel-only',58 '.0-kernel-only',59 '.0-rc1',[all …]
1 …eRTOS-Kernel/actions/workflows/unit-tests.yml/badge.svg?branch=main&event=push)](https://github.co…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 kernel9 repository, which contains pre-configured demo application projects under12 The easiest way to use FreeRTOS is to start with one of the pre-configured demo17 [FreeRTOS Kernel Quick Start Guide](https://www.FreeRTOS.org/FreeRTOS-quick-start-guide.html)20 Additionally, for FreeRTOS kernel feature information refer to the25 [the instructions here](.github/CONTRIBUTING.md#contributing-via-pull-request).33 ## To consume FreeRTOS-Kernel40 - Define the source and version/tag you want to use:[all …]
