genode/repos/os/recipes/api
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
..
audio_in_session Depot-archive recipes 2017-05-31 13:15:56 +02:00
audio_out_session Depot-archive recipes 2017-05-31 13:15:56 +02:00
blit Depot-archive recipes 2017-05-31 13:15:56 +02:00
block_session Depot-archive recipes 2017-05-31 13:15:56 +02:00
file_system_session Depot-archive recipes 2017-05-31 13:15:56 +02:00
framebuffer_session Depot-archive recipes 2017-05-31 13:15:56 +02:00
gpio_session Depot-archive recipes 2017-05-31 13:15:56 +02:00
input_session Depot-archive recipes 2017-05-31 13:15:56 +02:00
loader_session Depot-archive recipes 2017-05-31 13:15:56 +02:00
nic_session Depot-archive recipes 2017-05-31 13:15:56 +02:00
nitpicker_gfx Depot-archive recipes 2017-05-31 13:15:56 +02:00
nitpicker_session Depot-archive recipes 2017-05-31 13:15:56 +02:00
os Depot-archive recipes 2017-05-31 13:15:56 +02:00
platform_session Depot-archive recipes 2017-05-31 13:15:56 +02:00
regulator_session Depot-archive recipes 2017-05-31 13:15:56 +02:00
report_session Depot-archive recipes 2017-05-31 13:15:56 +02:00
rtc_session Depot-archive recipes 2017-05-31 13:15:56 +02:00
terminal_session Depot-archive recipes 2017-05-31 13:15:56 +02:00
timer_session depot: adjust base recipe to removed headers 2017-05-31 13:16:25 +02:00
uart_session Depot-archive recipes 2017-05-31 13:15:56 +02:00
usb_session Depot-archive recipes 2017-05-31 13:15:56 +02:00
vfs Depot-archive recipes 2017-05-31 13:15:56 +02:00
session.inc Depot-archive recipes 2017-05-31 13:15:56 +02:00