Hot restart is now available on all platforms and is enabled with the HOT_RESTART
feature. Although the essence of hot restart is the
same in the ChorusOS 4.0 operating system, it has been reimplemented
since the ChorusOS 3.2 operating system, with significant differences
in behavior and API. See the ChorusOS 4.0 Hot Restart Programmer's Guide and the HOT_RESTART(5FEA)
man page for more information.