Crate sel4_panicking_env

Macros

abort

Aborts execution with a message.

debug_print

Like std::print!, except backed by debug_put_char.

debug_println

Like std::println!, except backed by debug_put_char.

register_abort_hook

Registers an abort hook to be used by abort! and abort_without_info.

register_abort_trap

Registers an abort trap to be used by abort! and abort_without_info.

register_debug_put_char

Registers a function to be used by debug_put_char, debug_print!, and debug_println!.

Structs

AbortInfo

Information about an abort passed to an abort hook.

Functions

abort_without_info

Aborts without any AbortInfo.

debug_put_char

Prints via a link-time hook.