150 γρ. μέτριο κριθαράκι
150 γρ. λευκά μανιτάρια, κομμένα σε κάθετες φέτες
100 γρ. μανιτάρια πλευρώτους, κομμένα σε κάθετες φέτες
500 ml ζωμό λαχανικών, ζεστό
50 ml λευκό κρασί
1 κρεμμύδι, ψιλοκομμένο
1 σκελίδα σκόρδου, ψιλοκομμένη
1 κ.σ. θυμάρι, θρυμματισμένο μόνο τα φύλλα
1 κ.σ. βούτυρο
80-100 γρ. γραβιέρα, τριμμένη
Ελαιόλαδο
Αλάτι
Πιπέρι