Hi,
I want to use L4linux 3.10. I see that L4linux 3.10 is available now from https://l4linux.org/, but I can't find any other download-website except L4linux 4.3. Is there some place I can get the older version(3.10) of the L4linux?
thanks a lot!
-------------------------------------------------------- ZTE Information Security Notice: The information contained in this mail (and any attachment transmitted herewith) is privileged and confidential and is intended for the exclusive use of the addressee(s). If you are not an intended recipient, any disclosure, reproduction, distribution or other dissemination or use of the information contained is strictly prohibited. If you have received this mail in error, please delete it and notify us immediately.
Hi,
On 01/19/2016 05:07 AM, liu.xiaodong2@zte.com.cn wrote:
Hi,
I want to use L4linux 3.10. I see that L4linux 3.10 is available
now from https://l4linux.org/, but I can't find any other download-website except L4linux 4.3. Is there some place I can get the older version(3.10) of the L4linux?
It's revision r39 in the L4Linux repository. See [1] on how to download the repository. Be beware of, that you also need the corresponding Fiasco and L4Re revisions (from August 2013). L4Linux 3.10 will not work with the current snapshot versions.
Matthias.
l4-hackers@os.inf.tu-dresden.de