mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-09-10 16:17:44 -04:00
Compare commits
4 commits
abf6d94149
...
f06338498a
Author | SHA1 | Date | |
---|---|---|---|
|
f06338498a | ||
|
684b34ca8d | ||
|
4bc8d25cec | ||
|
1f23756ed3 |
2 changed files with 22 additions and 10 deletions
12
.github/workflows/auto-release.yml
vendored
12
.github/workflows/auto-release.yml
vendored
|
@ -96,6 +96,18 @@ jobs:
|
|||
repo_path: ./local_kernel
|
||||
source_path: ./
|
||||
|
||||
# 1. Install cosign tool
|
||||
- name: Install Cosign
|
||||
uses: sigstore/cosign-installer@v3.8.1
|
||||
|
||||
# 2. Sign the sbom.spdx file using cosign. Two files are produced: sbom.sig and sbom.crt, stored in the same directory as sbom.spdx
|
||||
- name: Attest SBOM
|
||||
working-directory: ./local_kernel
|
||||
run: |
|
||||
cosign sign-blob sbom.spdx --output-certificate='sbom.crt' --output-signature='sbom.sig' -y
|
||||
# The following is a sanity check. After signing, we verify the image to check that everything is OK
|
||||
cosign verify-blob --signature='sbom.sig' --certificate='sbom.crt' --certificate-identity-regexp=.* --certificate-oidc-issuer-regexp='https://github.com' ./sbom.spdx
|
||||
|
||||
- name: commit SBOM file
|
||||
env:
|
||||
VERSION_NUMBER: ${{ github.event.inputs.version_number }}
|
||||
|
|
|
@ -101,6 +101,16 @@
|
|||
#define configASSERT_DEFINED 1
|
||||
#endif
|
||||
|
||||
/* Set configENABLE_PAC and/or configENABLE_BTI to 1 to enable PAC and/or BTI
|
||||
* support and 0 to disable them. These are currently used in ARMv8.1-M ports. */
|
||||
#ifndef configENABLE_PAC
|
||||
#define configENABLE_PAC 0
|
||||
#endif
|
||||
|
||||
#ifndef configENABLE_BTI
|
||||
#define configENABLE_BTI 0
|
||||
#endif
|
||||
|
||||
/* Basic FreeRTOS definitions. */
|
||||
#include "projdefs.h"
|
||||
|
||||
|
@ -3040,16 +3050,6 @@
|
|||
#define configCONTROL_INFINITE_LOOP()
|
||||
#endif
|
||||
|
||||
/* Set configENABLE_PAC and/or configENABLE_BTI to 1 to enable PAC and/or BTI
|
||||
* support and 0 to disable them. These are currently used in ARMv8.1-M ports. */
|
||||
#ifndef configENABLE_PAC
|
||||
#define configENABLE_PAC 0
|
||||
#endif
|
||||
|
||||
#ifndef configENABLE_BTI
|
||||
#define configENABLE_BTI 0
|
||||
#endif
|
||||
|
||||
/* Sometimes the FreeRTOSConfig.h settings only allow a task to be created using
|
||||
* dynamically allocated RAM, in which case when any task is deleted it is known
|
||||
* that both the task's stack and TCB need to be freed. Sometimes the
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue