Portez à ébullition une grande casserole d'eau légèrement salée. Faites cuire les gnocchi dans l'eau bouillante jusqu'à ce qu'ils remontent à la surface, 2 à 4 minutes.

Faites fondre 2 cuillères à soupe de beurre et l'huile d'olive dans une cocotte en fonte à feu moyen-élevé. Ajoutez l'oignon ; faites sauter jusqu'à ce qu'il soit ramolli, environ 5 minutes. Incorporez le chou, l'ail et les flocons de piment rouge. Assaisonnez avec du sel et du poivre. Faites cuire et remuez jusqu'à ce que le chou soit translucide mais encore croquant, 5 à 7 minutes.