ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-11 06:54:18 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/os/include
History
Christian Prochaska c2f23de2e7 Introduce server-role member to 'Child' class 
This patch is needed to use children as services in a dynamic
way (closing and reopening sessions).
2012-05-29 13:54:59 +02:00
..
audio_out_session
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
blit
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
block
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
block_session
New DDE-Linux-based USB driver
2012-05-29 13:54:58 +02:00
dde_kit
DDE kit: Timer add schedule function form timers
2012-05-23 19:17:23 +02:00
file_system_session
File-system interface, ram_fs, libc-fs
2012-05-17 20:33:53 +02:00
framebuffer_session
Qualifying RPC functions as const
2012-01-27 16:54:05 +01:00
gpu
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
init
Introduce server-role member to 'Child' class
2012-05-29 13:54:59 +02:00
input
Qualifying RPC functions as const
2012-01-27 16:54:05 +01:00
input_session
Qualifying RPC functions as const
2012-01-27 16:54:05 +01:00
ldso
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
loader_session
Re-implementation of the loader service, ref #187
2012-05-02 16:54:18 +02:00
net
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
nic
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
nic_session
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
nitpicker_gfx
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
nitpicker_session
Replace Framebuffer::info by Framebuffer::mode
2012-01-25 13:27:47 +01:00
nitpicker_view
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
os
Improve robustness of policy matching
2012-05-17 20:12:51 +02:00
packet_stream_rx
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
packet_stream_tx
Simplify use of custom data-flow signal handlers
2012-04-17 11:08:52 +02:00
pci_device
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
pci_session
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
platform
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
terminal_session
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
timer_session
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
util
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
xev_track
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00