Bring the stock to a simmer in a pot. Add the porcini mushrooms, remove from the heat to let the mushrooms get tender (about 5 minutes), then keep the stock warm over a very low heat.
Add the olive oil to a large heavy-based pan and sauté the onions on medium heat until tender, about 8 minutes.