Fix portSWITCH_TO_USER_MODE() on Armv7-M MPU ports (#803) #2049

	name: Kernel-Checker

	on: [push, pull_request]

	jobs:
	kernel-checker:
	name: FreeRTOS Kernel Header Checks
	runs-on: ubuntu-20.04
	steps:
	# Install python 3
	- name: Tool Setup
	uses: actions/setup-python@v2
	with:
	python-version: 3.7.10
	architecture: x64
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

	# There is shared code, hosted by FreeRTOS/FreeRTOS, with deps needed by header checker
	- name: Checkout FreeRTOS Tools
	uses: actions/checkout@v3
	with:
	repository: FreeRTOS/FreeRTOS
	ref: main
	path: tools

	# Checkout user pull request changes
	- name: Checkout Pull Request
	uses: actions/checkout@v3
	with:
	path: inspect

	# Collect all affected files
	- name: Collecting changed files
	uses: lots0logs/[email protected]
	with:
	token: ${{ secrets.GITHUB_TOKEN }}

	# Run checks
	- name: Check File Headers
	run: \|
	mv tools/.github/scripts/common inspect/.github/scripts
	pip install -r inspect/.github/scripts/common/requirements.txt
	cd inspect
	.github/scripts/kernel_checker.py --json ${HOME}/files_modified.json ${HOME}/files_added.json ${HOME}/files_renamed.json
	exit $?

Provide feedback