Limpiamos muy bien los champiñones y les quitamos los troncos y los reservamos. Untamos una fuente de horno con un poco de aceite de oliva, y colocamos los champiñones. Reservamos a la espera del relleno.
Picamos la cebolla muy fina y ponemos a pochar en una sartén con el aceite y el ajo picado.
Mientras, troceamos los troncos de los champiñones que teníamos reservados y echamos a la sartén junto a la cebolla.
Añadimos el jamón a tacos y rehogamos bien y añadimos el vaso de Oporto. Dejamos reducir bien y rellenamos los champiñones.
Ponemos un poco de queso enmental rallado encima de cada champiñón y metemos al horno precalentado a 180º durante unos 25 minutos.
Servimos acompañados del jugo que nos han soltado durante su cocción.