| // Copyright 2024 The Fuchsia Authors | |
| // Use of this source code is governed by a BSD-style license that can be | |
| // found in the LICENSE file. | |
| // Validate that the TEE internal API headers compile as C++. | |
| #include <lib/tee_internal_api/tee_internal_api.h> |