Thanks, it was actually quite easy… All 16 cores boot.
Next is to find where is the rest of RAM… The manual (and FDT) only specify 0x80000000-0xffffffff for the first 2GB. Need to hunt down those elusive remaining 30GB…
I’m pleasantly surprised as to how easy it is to work with this board.
–Elad
P.S.,
Also need to silence that awful fan!