Das PicoPSU, was ich verwende, gabs zumindestens damals in der Bucht, hatte ich hier bei anderer Gelegenheit mal verlinkt. Aber ob es genau dieses Modell noch gibt, weiß ich nicht. Du brauchst außerdem noch ein Notebooknetzteil. Da die PicoPSU normalerweise die 12V nicht selbst regeln, sondern sich auf das Notebooknetzteil verlassen, muss das dann eins sein mit 12V Ausgang, oder auf 12V regelbar. Würdest du es auf eine höhere Spannung einstellen, würde das dann auch gleich den Falcon grillen.