Hi, On Sun Mar 20, 2016 at 14:50:10 +0800, li94575 wrote:

As we know, Linux has begun to support ARM big.LITTLE architecture from the 3.10 edition. Have this feature also been achieved in L4linux ?

I guess you're asking on the feature that L4Linux will consider the different capabilities of the cores. I think it will, given it queried the cores, then it will just do what Linux does with that info. Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/