Directions

1. Set pressure cooker to "sear", add oil, and press "start/stop". When oil is hot, add onions, cloves, and ginger. Sauté onions until soft, about 5 minutes.

2. Season beef with salt and pepper and add to pressure cooker to brown. When meat is browned on all sides, add beef stock to deglaze the pot. Add water, cinnamon sticks, and star anise.
3. Close and lock lid, set pressure cooker to "meat/stew", adjust time to 30 minutes, and press "start/stop".
4. When done, quick release and make sure all pressure is released before opening lid. Carefully open lid and strain broth through cheesecloth.
5. Return strained broth to pressure cooker and add fish sauce. Set pressure cooker to "sear", add cooked rice noodles, and press "start/stop". Cook until noodles are done.

6. Divide soup into 6 serving bowls. Top each with sirloin steak, cilantro, basil, bean sprouts, jalapeño, and a lime wedge. Ladle more hot broth from pot onto top of each bowl and serve.