Espressif ESP32-P4 - 400MHz Dual Core RISC-V

Ich möchte das grad mal hochholen - weiß denn jemand ob der ESP32-P4 denn richtig verfügbar ist? Es scheint wohl paar Boards zu geben, die man per Aliexpress & co bekommt - so richtig ist er aber bei den Distributoren noch nicht angekommen.