HelenOS Repositories

Official Repositories

The official HelenOS repositories are hosted at ​https://github.com/HelenOS/ (using ​Git distributed version control system).

• HelenOS (base system), ​https://github.com/HelenOS/helenos.git, ​browse, ​cross-reference, instructions
• Coastline (ported software), ​https://github.com/HelenOS/harbours.git, ​browse, instructions
• CI (continuous integration), ​https://github.com/HelenOS/ci.git, ​browse, instructions

Mirrors

The official repositories are also mirrored at:

• GitLab: ​https://gitlab.com/HelenOS
• repo.or.cz:
  • ​https://repo.or.cz/helenos.git
  • ​https://repo.or.cz/harbours.git
  • ​https://repo.or.cz/ci.git

Historic Repositories

In the past HelenOS used the following repositories:

• bzr://bzr.helenos.org/mainline
• bzr://bzr.helenos.org/coastline
• bzr://bzr.helenos.org/ci
• ​HelenOS branches at Launchpad
• ​Historic SVN repositories of HelenOS

Other Repositories

• ​git://github.com/kurbel/genode.git (​base-spartan branch), Tobias Börtitz, HelenOS as a Genode platform, ​GSOC 2012, #419
• ​lp:~teyras/helenos-pf/trunk, Jan Buchar, Packet filter (firewall/router)