Sign in
opensecura
/
3p
/
cheriot-rtos
/
9d9195a0d351064611c256205257fe8d72a48a87
/
.
/
examples
/
07.error_handling
/
hello.h
blob: d6e896cf6ea5af8a86005dd3521d4c20f9ae7717 [
file
] [
log
] [
blame
]
// Copyright Microsoft and CHERIoT Contributors.
// SPDX-License-Identifier: MIT
#include
<compartment.h>
/**
* Write `msg` to the default uart.
*/
void
__cheri_compartment
(
"uart"
)
write
(
const
char
*
msg
);