Can the latest L4Linux support for the ARM big.LITTLE architecture ?

[li94575]

hi all,
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 ?
 
thank you!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20160320/3c5887a0/attachment.html>