Update:

> https://www.bglug.it/wp-content/uploads/2018/11/LD2018_MarioLocati_PowerPC_Notebook.pdf
> (page 9)
> Specific components mentioned (selection): [...] Marvell 88SE9235 4-port SATA3

"More recently chip prices seem to be coming back to more reasonable prices, with the exception of the Marvell Sata3 controller. As a consequence, we are evaluating the removal of the Marvell Sata3 controller to both free very-much needed space space and save some costs because at the moment such a chip costs around 90 euros per piece, quite a lot. In fact, nowadays most SSD are available at a very good price with the M.2 form factor, so a Sata3 connection is not that essential anymore. People in a desperate need for a Sata connection could use the two Sata2 controllers inside the T2080 CPU."
https://www.powerpc-notebook.org/2023/10/fine-tuning-firmware-for-u-boot-and-develop-radeon-driver-for-latest-u-boot-version/

Meanwhile, the financial state of all campaigns/phases is as follows:

I_0. 12600 EUR: Electrical schematics [accomplished]
I_1A. 19000 EUR: PCB [accomplished]
I_1B. 5000 EUR: Fast SI bus simulations [accomplished]
I_2. 13500 EUR: Prototypes [accomplished]
I_3. 14000 EUR: Testing [accomplished]
I_4. 12500 EUR: Certification [accomplished]
I_5. 5375 EUR: Prototypes and MXM graphics cards [accomplished]
II_1. 1000 EUR: JTAG debugger [accomplished]
II_2. 5000 EUR: U-Boot [17% done]
II_3. 10000 EUR: Heat pipes [open]