Serves 4 Preparation time 10 minutes Cooking time 20–25 minutes Ingredients: 2 tablespoons olive oil 1 onion, sliced 2 garlic cloves, finely chopped 1 red chilli, deseeded and