Polenta assada com ragú de cogumelos

Ragú de cogumelos:
Refogue o alho e o tomilho no azeite, junte o extrato, em seguida, os cogumelos e refogue até secar. Tempere com sal e pimenta, junte o vinho e deixe apurar um pouco. Já com a polenta dura, corte em porções, coloque em uma assadeira untada com óleo e asse em forno alto preaquecido por 15 minutos ou até ficarem crocantes. Sirva com o ragu de cogumelos.

Polentinha assada:
Numa panela grande, coloque a água e leve ao fogo alto para ferver. Assim que ferver, adicione o sal e diminua o fogo para médio. Acrescente a sêmola de milho, em fio constante, mexendo com um batedor de arame para não empelotar. Mexa por cerca de 15 minutos até a polenta engrossar e soltar do fundo da panela. Atenção: é importante mexer durante o cozimento para que a polenta não empelote nem grude no fundo da panela. Desligue o fogo, adicione o queijo e a manteiga. Misture bem para a manteiga derreter e a polenta ficar cremosa. Reserve.