Cut the onions into rings and cut once. Peel and slice the carrots. Core and dice the pepper, then clean and slice the mushrooms.
Heat the oil in a wok, add the pork strips to the wok and fry, season with salt and pepper. Place the roasted meat from the wok on a plate with kitchen paper.
Put the onions in the roast and sauté briefly. Place the carrots and peppers on the onions and sauté briefly. Then add the mushrooms to the wok vegetables and cook with them. After about 3 minutes, deglaze with the vegetable stock and simmer everything together for 15 minutes.
Put the meat back in the wok, let it get hot and season everything with tomato ketchup, salt, pepper, nutmeg and Tabasco. Mix the cornstarch with a little water to thicken the sauce. Can be eaten with rice.