CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
Loading...
Searching...
No Matches
assert.h
1// Copyright Microsoft and CHERIoT Contributors.
2// SPDX-License-Identifier: MIT
3
4#ifndef _ASSERT_H_
5#define _ASSERT_H_
6
7#include <stdlib.h>
8
9#ifdef NDEBUG
10# define assert(x) ((void)0)
11#else
12# define assert(x) ((x) ? (void)0 : panic())
13#endif
14
15#endif // _ASSERT_H_