Crate sel4_panicking_env

Macros

• abort
  Abort 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
• register_debug_put_char

Structs

• AbortInfo
  Information about an abort passed to an abort hook.

Functions

• abort_without_info
  Abort without any AbortInfo.
• debug_put_char
  Prints via a link-time hook.