templates/seL4RPCDataportSignal-to.template.h - 3p/sel4proj/global-components - Git at Google

 /*#
  *#Copyright 2021, HENSOLDT Cyber GmbH
  *#
  *#SPDX-License-Identifier: BSD-2-Clause
   #*/

 /*- include 'seL4RPCDataport-to.template.h' -*/

 /*- include 'rpc-signalling.template.h' -*/
	/*#
	*#Copyright 2021, HENSOLDT Cyber GmbH
	*#
	*#SPDX-License-Identifier: BSD-2-Clause
	#*/

	/- include 'seL4RPCDataport-to.template.h' -/

	/- include 'rpc-signalling.template.h' -/