PSARC/2009/396 Tickless Kernel Architecture / lbolt decoupling 6860030 tickless clock requires a clock() decoupled lbolt / lbolt64 Portions contributed by Chad Mynhier <cmynhier@gmail.com>
PSARC 2008/382 Fast Reboot 6714038 Fast Reboot support for x86 platforms
OpenSolaris Launch