SVN repositories available on svn.l4re.org
L4Re
L
4
Linux