Pilze putzen, trocken abreiben und eventuell kleinschneiden. Zwiebeln schälen und in Würfel schneiden. Das Öl in einem Topf erhitzen. Zwiebeln darin andünsten. Reis zugeben und unter Rühren glasig dünsten. Die Heiße Brühe nach und nach zugießen und bei milder Hitze 15 Minuten unter Rühren köcheln lassen. Immer wieder umrühren. Butter in einer Pfanne erhitzen. Pilze darin ca. 5 Minuten dünsten. Mit Salz und Pfeffer abschmecken. Die Pilze unter den Reis mischen. Käse reiben, etwas zum Bestreuen beiseite stellen, den Rest unter den Reis mischen. Thymianblättchen und geriebenen Käse über den Reis streuen und sofort servieren.
Pro Portion ca. 655 kcal (2751 kJ). Zubereitungszeit ca. 1 Stunde.
