| .. |
|
blk_cache
|
os/include/block: API transition (fix 'deprecated' warnings)
|
2017-01-20 16:46:57 +01:00 |
|
clipboard
|
report_rom/clipboard: API transition
|
2017-01-13 13:07:14 +01:00 |
|
dynamic_rom
|
dynamic_rom: API transition (fix 'deprecated' warnings)
|
2017-01-20 16:46:54 +01:00 |
|
fs_log
|
Use default component stack size where appropriate
|
2016-11-30 13:38:06 +01:00 |
|
fs_rom
|
Use default component stack size where appropriate
|
2016-11-30 13:38:06 +01:00 |
|
input_merger
|
Use default component stack size where appropriate
|
2016-11-30 13:38:06 +01:00 |
|
iso9660
|
iso9660: use new component APIs
|
2017-01-13 13:07:10 +01:00 |
|
loader
|
loader: API transition (fix 'deprecated' warnings)
|
2017-01-20 16:46:57 +01:00 |
|
log_report
|
log_report: API transition
|
2017-01-20 16:46:54 +01:00 |
|
log_terminal
|
log_terminal: API transition
|
2017-01-20 16:46:55 +01:00 |
|
lx_fs
|
os/include/file_system_session: API transition (fix 'deprecated' warnings)
|
2017-01-20 16:46:58 +01:00 |
|
mixer
|
mixer: API transition (fix 'deprecated' warning)
|
2017-01-20 16:46:55 +01:00 |
|
nic_bridge
|
nic_bridge: API transition (remove 'deprecated' warnings)
|
2017-01-20 16:46:56 +01:00 |
|
nic_loopback
|
os/include/nic: API transition (fix 'deprecated' warnings)
|
2017-01-20 16:46:56 +01:00 |
|
nic_router
|
nic_router: API transition (fix 'deprecated' warnings)
|
2017-01-20 16:46:56 +01:00 |
|
nit_fb
|
nit_fb: API transition (fix 'deprecated' warnings)
|
2017-01-20 16:46:56 +01:00 |
|
nitpicker
|
nitpicker/wm: fix session_control mechanism
|
2017-01-13 13:07:14 +01:00 |
|
part_blk
|
part_blk: API transition (fix 'deprecated' warnings)
|
2017-01-20 16:46:56 +01:00 |
|
ram_blk
|
os/include/block: API transition (fix 'deprecated' warnings)
|
2017-01-20 16:46:57 +01:00 |
|
ram_fs
|
ram_fs: API transition (fix 'deprecated' warnings)
|
2017-01-20 16:46:58 +01:00 |
|
report_rom
|
Use default component stack size where appropriate
|
2016-11-30 13:38:06 +01:00 |
|
rom_blk
|
os/include/block: API transition (fix 'deprecated' warnings)
|
2017-01-20 16:46:57 +01:00 |
|
rom_filter
|
Deprecate Genode::config()
|
2017-01-13 13:06:54 +01:00 |
|
rom_prefetcher
|
rom_prefetcher: API transition (fix 'deprecated' warnings)
|
2017-01-20 16:46:58 +01:00 |
|
tar_rom
|
Deprecate Genode::config()
|
2017-01-13 13:06:54 +01:00 |
|
terminal_crosslink
|
base: redesign object pool using lambda interface
|
2015-09-09 15:14:28 +02:00 |
|
terminal_log
|
server/terminal_log: API transition
|
2017-01-20 16:46:57 +01:00 |
|
trace_fs
|
trace_fs: API transition (fix 'deprecated' warnings)
|
2017-01-20 16:46:58 +01:00 |
|
tz_vmm
|
Fix clang compile errors
|
2016-11-30 13:37:07 +01:00 |
|
vfs
|
os/include/file_system_session: API transition (fix 'deprecated' warnings)
|
2017-01-20 16:46:58 +01:00 |
|
vmm
|
os: transition to new API for vmm (ref #1987)
|
2017-01-13 13:07:09 +01:00 |
