ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-07 03:40:15 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/base/recipes/src
History
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
..
base_content.inc
depot: adjust base recipe to removed headers
2017-05-31 13:16:25 +02:00
content.inc
Depot-archive recipes
2017-05-31 13:15:56 +02:00