Grünkohl vom Strunk trennen und grob hacken. Zwiebel und Lauch schneiden. Linsen zweimal waschen.
Grünkohl mit Zitronenthymian, 1 TL Salz, 1 TL Zucker und 1 EL Öl gründlich marinieren. Im vorgeheizten Ofen bei 200 Grad Umluft für 10 Minuten garen, dann einmal wenden und im ausgeschalteten, geschlossenen Ofen bis zur Verwendung ziehen lassen.
Zwiebel und Lauch in einer Schüssel (auch gern die gleiche wie Grünkohl) mit 1 EL Öl, 1 TL Salz, etwas Zucker und 1 EL Grillgewürz vermengen.
Rote Linsen in etwa 100 ml sehr heißem Öl anbraten. Nach 3 Minuten 1 EL Salz und 1 EL Ras el Hanout hinzufügen, 20 Sekunden mitbraten. Dann das marinierte Gemüse dazu geben, 500 ml Wasser hinzufügen, Gnocchi darauf verteilen und mit Deckel etwa 10 Minuten köcheln bzw. dämpfen lassen. Deckel abnehmen, Grünkohl aus dem Ofen hinzufügen und vermengen. Ggf. noch etwas Wasser hinzufügen, sodass eine sämige Konsistenz entsteht.