Searched +full:kernel +full:- +full:checker (Results 1 – 3 of 3) sorted by relevance
| /Kernel-v11.0.1/.github/workflows/ |
| D | kernel-checks.yml | 1 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
21 sparse-checkout: '.github'
26 - name: Checkout Pull Request
[all …]
|
| /Kernel-v11.0.1/.github/scripts/ |
| D | kernel_checker.py | 3 # * FreeRTOS Kernel V11.0.1
6 # * SPDX-License-Identifier: MIT
33 #--------------------------------------------------------------------------------------------------
35 #--------------------------------------------------------------------------------------------------
37 'FreeRTOS-openocd.c',
50 '.0-rc2',
56 '.1-kernel-only',
57 '.0-kernel-only',
58 '.0-rc1',
110 ' * FreeRTOS Kernel V11.0.1\n',
[all …]
|
| /Kernel-v11.0.1/ |
| D | README.md | 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 kernel
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)
20 Additionally, for FreeRTOS kernel feature information refer to the
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:
[all …]
|
