I'm quite interested in making a SoC with more than two cores. Looking at the code a bit it seems like maybe all that would be needed is to generalize the bus switch for more than two cores? Maybe inter-core communication would require some thought as well.