genode/repos/os/recipes
Norman Feske 7bb8e332a9 depot: adjust base recipe to removed headers
This patch updates the recipes for the base-<kernel> archives to the
recently removed os/config.h and os/timeout.h headers.
2017-05-31 13:16:25 +02:00
..
api depot: adjust base recipe to removed headers 2017-05-31 13:16:25 +02:00
pkg Depot-archive recipes 2017-05-31 13:15:56 +02:00
raw Remove obsolete RAM/CAP services from run scripts 2017-05-31 13:16:22 +02:00
src Depot-archive recipes 2017-05-31 13:15:56 +02:00