Ingredients: 2 teaspoon of extra-virgin oil 1/2 medium yellow onion, chopped  1 (8 oz.) package button mushrooms, sliced  2 cloves garlic, minced 1/2 teaspoon of salt  1/4 teaspoon of red pepper flakes   2…