cd0e8fd637
doc: mention dde_zircon repository to repos/README
2018-08-30 09:24:47 +02:00
582e4aec02
ports-foc: remove L4Linux
...
Fixes #2216
2017-01-31 12:01:12 +01:00
468ebebbda
doc: update README, components.txt etc.
2016-05-26 15:54:17 +02:00
9b69c93736
doc: update README, components.txt
2016-02-26 12:19:25 +01:00
acc46f70b7
codezero: remove support from Genode ( fix #1668 )
2015-09-09 15:14:29 +02:00
41be88667f
doc: update components, porting guide, README
2015-08-31 09:09:23 +02:00
45c9739fe7
Remove repos/qt4, fix #1451
2015-03-19 08:57:20 +01:00
ca971bbfd8
Move repositories to 'repos/' subdirectory
...
This patch changes the top-level directory layout as a preparatory
step for improving the tools for managing 3rd-party source codes.
The rationale is described in the issue referenced below.
Issue #1082
2014-05-14 16:08:00 +02:00
Christian Helmuth
Norman Feske
Stefan Kalkowski