Existe uma maneira de reiniciar um sistema Linux (Debian em particular) sem reiniciar o hardware? Eu tenho um controlador RAID que demora um pouco para ser executado antes da inicialização do sistema operacional e eu gostaria que houvesse uma maneira de reiniciar rapidamente o sistema operacional...