add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

1
2
3
4
5
6
7
8
# SPDX-License-Identifier: MIT
# AMD-TEE Trusted Execution Environment Configuration
config AMDTEE
    tristate "AMD-TEE"
    default m
    depends on CRYPTO_DEV_SP_PSP && CRYPTO_DEV_CCP_DD
    help
      This implements AMD's Trusted Execution Environment (TEE) driver.