Sign in
opensecura
/
3p
/
sel4
/
camkes
/
refs/heads/master
/
.
/
apps
/
dma-example
/
server.c
blob: 680331bd87419e2d41de5558a0d2df4d22e4e606 [
file
] [
edit
]
/*
* Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include
<assert.h>
/* This function is never expected to be called. */
void
dummy_dummy
(
void
)
{
assert
(
0
);
}