nrf52840dk_test_appid_sha256/
io.rs

1// Licensed under the Apache License, Version 2.0 or the MIT License.
2// SPDX-License-Identifier: Apache-2.0 OR MIT
3// Copyright Tock Contributors 2024.
4
5use core::panic::PanicInfo;
6use nrf52840::gpio::Pin;
7
8#[cfg(not(test))]
9#[no_mangle]
10#[panic_handler]
11/// Panic handler
12pub unsafe fn panic_fmt(_pi: &PanicInfo) -> ! {
13    // The nRF52840DK LEDs (see back of board)
14    let led_kernel_pin = &nrf52840::gpio::GPIOPin::new(Pin::P0_13);
15    let led = &mut kernel::hil::led::LedLow::new(led_kernel_pin);
16    kernel::debug::panic_blink_forever(&mut [led])
17}