| /* | |
| * Copyright (c) 2023 Nordic Semiconductor ASA | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| #ifndef BOARDS_POSIX_NATIVE_SIM_BOARD_IRQ_H | |
| #define BOARDS_POSIX_NATIVE_SIM_BOARD_IRQ_H | |
| #include "../common/irq/board_irq.h" | |
| #endif /* BOARDS_POSIX_NATIVE_SIM_BOARD_IRQ_H */ |