1// 2// Copyright 2024, Colias Group, LLC 3// 4// SPDX-License-Identifier: BSD-2-Clause 5// 6 7sel4_panicking_env::register_abort_trap!(trap); 8 9fn trap() -> ! { 10 core::intrinsics::abort() 11}