PANDABOARD default scheduler

Sat Jan 3 23:59:02 UTC 2015

On Mon, 2014-12-22 at 07:56 -0700, Scott Ellis wrote:
> Why does the PANDABOARD kernel config default to SCHED_4BSD instead
> of SCHED_ULE? It's a dual-core board. 
> 
> Just curious.
> 
> SCHED_ULE has been working fine for me on a similar OMAP4 board.
> 

Sorry it took me so long to respond to this (been a bit busy:) but I've
just switched all the arm kernels that are set for SMP to use ULE.

-- Ian