65c65,74
< assert(sys->numContexts() <= 4);
---
> /* Without making a completely new SCU, we can use the core count field
> * as 4 bits and inform the OS of up to 16 CPUs. Although the core
> * count is technically bits [1:0] only, bits [3:2] are SBZ for future
> * expansion like this.
> */
> if (sys->numContexts() > 4) {
> warn_once("A9SCU with >4 CPUs is unsupported\n");
> if (sys->numContexts() > 15)
> fatal("Too many CPUs (%d) for A9SCU!\n", sys->numContexts());
> }