High-level designs of the SoC, not of those cores themselves is public for some platforms.

Based on whatever for the core doesn't matter, as the cores themselves in any case diverge quite a lot from Rocket.