PANDABOARD default scheduler

[Rui Paulo]

On Dec 22, 2014, at 06:56, Scott Ellis <scott at jumpnowtek.com> wrote:
> 
> Why does the PANDABOARD kernel config default to SCHED_4BSD instead
> of SCHED_ULE? It's a dual-core board. 
> 
> Just curious.

I don't think there's any good reason.  PANDABOARD started out as a uniprocessor configuration and we probably forgot to test ULE once we implemented SMP.

--
Rui Paulo