// Copyright Microsoft and CHERIoT Contributors.
// SPDX-License-Identifier: MIT

// libc++ headers expect this file to exist, but don't require any definitions
// from it and so we can provide an empty version.