Tender pork tenderloin

/with crispy onion, marinated royal mushroom, mashed carrots and roasted sauce/