/*
 * Copyright © 2017-2021 The Crust Firmware Authors.
 * SPDX-License-Identifier: BSD-3-Clause OR GPL-2.0-only
 */

#ifndef STDLIB_STDBOOL_H
#define STDLIB_STDBOOL_H

#define bool  _Bool
#define false 0
#define true  1

#endif /* STDLIB_STDBOOL_H */
