genode/repos/ports/recipes/src/vbox5-nova/used_apis

audio_in_session
audio_out_session
base
base-nova
framebuffer_session
input_session
libc
libiconv
nic_session
gui_session
os
report_session
rtc_session
stdcxx
terminal_session
timer_session
usb_session
vfs
nitpicker_gfx
blit
Remove false API dependencies from libc/posix components Fixes #3720 2020-03-31 11:17:07 +00:00			`audio_in_session`
			`audio_out_session`
depot: recipe for src/vbox5-nova 2017-09-14 07:09:03 +00:00			`base`
Remove false API dependencies from libc/posix components Fixes #3720 2020-03-31 11:17:07 +00:00			`base-nova`
			`framebuffer_session`
			`input_session`
depot: recipe for src/vbox5-nova 2017-09-14 07:09:03 +00:00			`libc`
			`libiconv`
			`nic_session`
Rename include/nitpicker_session to gui_session This patch also renames the depot api archive accordingly. Issue #3778 2020-06-11 12:27:20 +00:00			`gui_session`
Remove false API dependencies from libc/posix components Fixes #3720 2020-03-31 11:17:07 +00:00			`os`
			`report_session`
depot: recipe for src/vbox5-nova 2017-09-14 07:09:03 +00:00			`rtc_session`
Remove false API dependencies from libc/posix components Fixes #3720 2020-03-31 11:17:07 +00:00			`stdcxx`
			`terminal_session`
			`timer_session`
			`usb_session`
			`vfs`
Change pixel format to 32 bits per pixel Until now, Genode's framebuffer session interface was based on the RGB565 pixel format. This patch changes the pixel format to 32-bit XRGB where the X part is ignored. It adapts all graphical applications and device drivers accordingly. The patch also adjusts the users of the drivers_interactive packages, assigning 64 MiB RAM and 1500 caps to the drivers subsystem, which is sufficient for covering high resolutions at 32 bits per pixel and to accommodate multi-component USB HID input stacks. Fixes #3784 2020-06-16 13:46:59 +00:00			`nitpicker_gfx`
			`blit`