I want to emulate various multi-core hardware with Risc V and Spike but I am really struggling to find documentation: for instance I don't even know where a typcial RISC-V processor begins execution on reset and cannot seem to find this information in the ISA documentation.
Is the answer to look at the Spike sources? Or is there some other pool of documentation I have missed?