1 /*
2 * Copyright (c) 2023 Nordic Semiconductor ASA.
3 *
4 * SPDX-License-Identifier: Apache-2.0
5 */
6
7 #include <zephyr/kernel.h>
8
main(void)9 int main(void)
10 {
11 printk("Should not be printed, expected TF-M's NS application to be run instead.\n");
12 k_panic();
13
14 for (;;) {
15 }
16 }
17
