/// ARINC653P1-5 3.7.2.2
pub mod blackboard;
/// ARINC653P1-5 3.7.2.1
pub mod buffer;
/// ARINC653P1-5 3.8
pub mod error;
/// ARINC653P1-5 3.7.2.4
pub mod event;
/// ARINC653P2-4 3.2
pub mod file_system;
/// ARINC653P2-4 3.13
pub mod interrupt;
/// Hypervisor dependent limits
pub mod limits;
/// ARINC653P2-4 3.5
pub mod logbook;
/// ARINC653P2-4 3.9
pub mod memory_block;
/// ARINC653P2-4 3.12
pub mod multicore;
/// ARINC653P1-5 3.7.2.5
pub mod mutex;
/// ARINC653P2-4 3.8
pub mod name_service;
/// ARINC653P1-5 3.2.2
pub mod partition;
/// ARINC653P1-5 3.3.2
pub mod process;
/// ARINC653P1-5 3.6.2.2
pub mod queuing;
/// ARINC653P2-4 3.11
pub mod queuing_list;
/// ARINC653P1-5 3.6.2.1
pub mod sampling;
/// ARINC653P2-4 3.7
pub mod sap;
/// ARINC653P2-4 3.4
pub mod schedules;
/// ARINC653P1-5 3.7.2.3
pub mod semaphore;
/// ARINC653P2-4 3.3
pub mod sp_data;
/// ARINC653P1-5 3.4.2
pub mod time;
/// ARINC653 specific types
pub mod types;
