I would have liked to dive into it, starting from what had been explored here, but I (still) don’t have enough time to devote to it. 
In fact I wanted to shunt u-boot to do baremetal stuff directly after openSBI in place of u-boot.
But I don’t know if I can do that… “easily” I mean.