Zwiebeln in Ringe schneiden, Knoblauch und Ingwer fein hacken (oder durch die Knoblauchpresse jagen).
Öl im Wok erhitzen und Zwiebeln darin glasig anschwitzen. Herd herunter drehen und Knoblauch und Ingwer zugeben. Ca. 5 Minuten mit braten.
Tempeh würfeln und zusammen mit den Linsen in den Wok geben. Ebenfalls ca. 5 Minuten anbraten. Alle Gewürze (bis auf optionale Bockshornkleeblätter) untermischen und gleichmäßig verteilen.
Kokosmilch und Gemüsebrühe aufgießen. Flüssigkeit ca. 15 Minuten einkochen lassen.
In der Zwischenzeit die Blätter des Pak Choi auslösen, gründlich reinigen und ggf. etwas vom hölzernen Strunk entfernen. Bei großen Blättern, in mundgerechte Stücke zupfen. Pakchoi 5 Minuten mitgaren.
Erdnussmus und Bockshornkleeblätter (wenn zur Hand) unterrühren und die Soße abschmecken.
Reisnudeln untermischen, mit in feine Streifen geschnittenem Rotkohl und Sesam bestreut servieren.