Crate a653rs

Abstraction layer for the ARINC653 P1/P2/P4 API

Modules

• bindings
  Bindings to traits which are supposed to be implemented for ARINC653 compliant hypervisors
• prelude
  Standard prelude to be used by application software and high-level drivers

Attribute Macros

• partition
  Convenience macro for simpler partition development with less pitfalls