[PATCH 5/9 v3] Add the MPC8641 HPCN platform files.

[Segher Boessenkool]

>>  Are you saying Linux manually starts
>> all non-boot CPUs?!?
>
> Right.  The secondary CPUs are not clocking, not able to
> fetch memory, not nothing until Linux gets a shot at
> smp_secondary_kick()'ing them into motion.  And then we
> have the ability to start the scondary CPUs one at a time.

So you start them with a GPIO?  Would it be feasible to
sync the time bases right there?  Constrain the ugliness
to just that one spot, as it were.  Although it ends up
with the same complexity, sigh.


Segher