I have got
kexec installed to do quick warm reboots without BIOS POST'ing and GRUB popping up. It will just reinit the kernel and do the bootprocess again.
Sometimes however, I like to do a full reboot, for example to change some BIOS settings or to start a different OS. I do this now by shutting down first.
Is there a command I can do in (Debian) Linux to ignore kexec and just do an oldskool full (warm) reboot including POST?
Needless to say,
$ reboot is configured to use
kexec. This all happens automatically when installing