genode/repos/base/lib
Norman Feske 65225a94b1 core: simplify initialization
This patch removes the 'Core_parent' and 'Core_pd_session', and reduces
the 'Core_env'.
2017-05-31 13:16:12 +02:00
..
mk core: simplify initialization 2017-05-31 13:16:12 +02:00
symbols os/timer: interpolate time via timestamps 2017-05-31 13:16:11 +02:00
README Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00

This directory holds library-description files.