I have implemented a hard reboot function like this in a
aplication
SetCleanRebootFlag();
KernelIoControl(IOCTL_HAL_REBOOT, NULL, 0, NULL, 0, NULL);
This seems to reboot the CEPC fine, exept that the two
network cards are not initialised. If I reboot by
switching off and on everyting is ok.
I use the CEPC with hive based registy on a x86 with IDE
hard drive. The NIC uses the RTL8139 driver.