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

li94575 <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]> 
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!

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.