mango_hal/
devices.rs

1pub trait Device: Send {}
2
3///
4/// ## Initialization
5/// The system is expected to initialize:
6///  - the CPU
7///  - the memory allocator
8pub trait System: Device
9{
10  /// Called to shutdown the system
11  fn shutdown(&self);
12
13  fn idle_if<T: Fn() -> bool>(&self, cond: T);
14
15  fn wait_forever(&self) -> !;
16
17  fn disable_interruptions(&self);
18  fn enable_interruptions(&self);
19}