Sign in
opensecura
/
3p
/
sel4
/
camkes
/
refs/heads/master
/
.
/
apps
/
hierarchical-components
/
components
/
Server
/
src
/
main.c
blob: bbf88153f16462dbfee52f64bc4a390bb85216a1 [
file
] [
log
] [
blame
] [
edit
]
/*
* Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include
<camkes.h>
#include
<stdio.h>
void
i_process
(
const
char
*
str
)
{
printf
(
"%s\n"
,
str
);
}