Prezados, Infelizmente estou sem computador e com isso estou usando debian 7 (testing) em uma maquina virtual - virtualbox - no computador comunitario de casa.
Percebi que as numa dessas ultimas atualizacoes, qdo eu executou o comando shutdown -r now para reiniciar o sistema, no boot o grup eh ignorado e o debian7 nao entra no kernel padrao, ele entra no kernel original da serie 3.2.x. Para que eu entre em outro kernel compilado sou obrigado a shutdown -h now e depois "startar" novamente a maquina virtual. Nao sei se o problema esta com o debian ou com o virtualbox. Obrigado desde ja. -- Atenciosamente, Rubens S. O. Jr
