L4Re - L4 Runtime Environment
Machine Restarting Function
+ Collaboration diagram for Machine Restarting Function:

Functions

void l4util_reboot (void))
 Machine reboot.
 

Detailed Description