Re: How can I get L4linux 3.10 code?

Matthias Lange <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]> 
Hi,

On 01/19/2016 05:07 AM, [email protected] 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
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.