Don't boot RISC-V cores with coreid >= num_cpus
authorAndrew Waterman <waterman@cs.berkeley.edu>
Tue, 8 Jan 2013 00:21:12 +0000 (16:21 -0800)
committerAndrew Waterman <waterman@cs.berkeley.edu>
Tue, 8 Jan 2013 00:21:12 +0000 (16:21 -0800)
commite6bebbfeca0b1d737fe112785d47b6a9d78abccf
treea015510855a09ecf1421c7b5ba89e5c9caa6dac2
parent742e96467e4ce7f4e710557f84353c4aa7a6ad97
Don't boot RISC-V cores with coreid >= num_cpus
kern/arch/riscv/boot.S