Sign in
opensecura
/
3p
/
sel4proj
/
global-components
/
8575f1a792132fb3fc5f90e8b00a6ddcd04f8331
/
.
/
templates
/
seL4RPCNoThreads-from.template.h
blob: 5166eeeac2565c7e2323b0828b35fba982ede06c [
file
] [
log
] [
blame
]
/*#
*#Copyright 2021, HENSOLDT Cyber GmbH
*#
*#SPDX-License-Identifier: BSD-2-Clause
#*/
/*# This template is intentionally empty.
#*/