How can I get L4linux 3.10 code?
matthias.lange at kernkonzept.com
Tue Jan 19 09:59:53 CET 2016
On 01/19/2016 05:07 AM, liu.xiaodong2 at zte.com.cn wrote:
> 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
It's revision r39 in the L4Linux repository. See  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.
More information about the l4-hackers