Crate sel4_common

Modules

• fault
• logging
• message_info
• object
• registers
• sbi
• sel4_config
• structures
• utils

Macros

• BIT
• IS_ALIGNED
• MASK
• ROUND_DOWN
• ROUND_UP
• plus_define_bitfield
• print
  print string macro
• println
  println string macro