Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/C/Linux/drivers/tee/optee/   (Open Source Betriebssystem Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 1 kB image not shown  

Quelle  Kconfig   Sprache: SML

 
# SPDX-License-Identifier: GPL-2.0-only
# OP-TEE Trusted Execution Environment Configuration
config OPTEE
 tristate "OP-TEE"
 depends on HAVE_ARM_SMCCC
 depends on MMU
 depends on RPMB || !RPMB
 help
   This implements the OP-TEE Trusted Execution Environment (TEE)
   driver.

config OPTEE_INSECURE_LOAD_IMAGE
 bool "Load OP-TEE image as firmware"
 default n
 depends on OPTEE && ARM64
 help
   This loads the BL32 image for OP-TEE as firmware when the driver is
   probed. This returns -EPROBE_DEFER until the firmware is loadable from
   the filesystem which is determined by checking the system_state until
   it is in SYSTEM_RUNNING. This also requires enabling the corresponding
   option in Trusted Firmware for Arm. The documentation there explains
   the security threat associated with enabling this as well as
   mitigations at the firmware and platform level.
   https://trustedfirmware-a.readthedocs.io/en/latest/threat_model/threat_model.html

   Additional documentation on kernel security risks are at
   Documentation/tee/op-tee.rst.

Messung V0.5
C=91 H=75 G=83

¤ Dauer der Verarbeitung: 0.3 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.