aboutsummaryrefslogtreecommitdiff
path: root/platform
AgeCommit message (Collapse)AuthorFilesLines
2017-08-02Add the '--with-platform' argument and the sifive-vc707-devkit platformPalmer Dabbelt2-1/+42
Since we don't have a coherent platform specification right now, we've ended up with slightly different platforms between spike and our FPGA dev kit. For now I've added an autoconf option that allows users to select the relevant platform.
2017-08-02Move DISABLED_HART_MASK to the platformPalmer Dabbelt2-0/+10
Some platforms can't boot Linux on all the harts. This commit allows platforms to define the set of harts that should be prevented from booting past BBL. This is essentially just a new mechanism for defining the DISABLED_HART_MASK.
2017-08-02Allow the platform to disable HTIFPalmer Dabbelt2-1/+8
2017-08-02Move the logo behind the platform interfacePalmer Dabbelt2-0/+35
SiFive has a different logo, so let platforms override said logo.
2017-08-02Add a platform interfacePalmer Dabbelt4-0/+24
SiFive's pk fork is the second one I've had to maintain, and it's a huge pain because people keep just leaving changes all over the tree. I want to introduce an interface that the platform-specific details can live behind so I don't have to keep doing these painful merges.