pubtraitDevice: Send {}////// ## Initialization
/// The system is expected to initialize:
/// - the CPU
/// - the memory allocator
pubtraitSystem: Device
{/// Called to shutdown the system
fnshutdown(&self);fnidle_if<T:Fn()->bool>(&self, cond: T);fnwait_forever(&self)->!;fndisable_interruptions(&self);fnenable_interruptions(&self);}