Classes | |
| class | Async_Update_Server |
| Sends asynchronous updates in response to handle_*() messages. More... | |
| class | Caching_Node |
| Cache handle_*() messages. More... | |
| class | Caching_Server |
| Cache handle_*() messages during startup. More... | |
| class | Catcher |
| Catch exceptions from system entry points. More... | |
| class | Driver_Emitter |
| Send handle_driver_*() messages. More... | |
| class | Driver_Handler |
| Receive handle_driver_*() messages. More... | |
| class | Emitter |
| Send handle_*() messages. More... | |
| class | Handler |
| Receive handle_*() messages. More... | |
| class | Kernel_Node |
| Relay handle_*() messages. More... | |
| class | Main_Driver |
| Top-level main loop. More... | |
| class | Simple_Kernel |
| A simple application driver. More... | |
| class | Simple_Kernel_Stowed |
| Stowed kernel. More... | |
| class | Sync_Update_Sender |
| The update tree. More... | |
| class | Sync_Update_Server |
| Provide synchronous updates across wake/sleep cycles. More... | |
| class | Wake_State_Emitter |
| Send handle_check_awake(), handle_wake(), handle_sleep(). More... | |
| class | Wake_State_Handler |
| Receive handle_check_awake(), handle_wake(), handle_sleep(). More... | |
| class | Wake_State_Server |
| Supervise the waking state. More... | |
1.3.4