How can I get L4linux 3.10 code?

[Matthias Lange]

Hi,

On 01/19/2016 05:07 AM, liu.xiaodong2 at 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.

[1] https://l4linux.org/download.shtml