How can I get L4linux 3.10 code?

[email protected]
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <OF2FA59CB8.351F78B7-ON48257F3F.0010B17B-48257F3F.0016ABBD@zte.com.cn>
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.

_______________________________________________
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.