5 Commits

Author	SHA1	Message	Date
Norman Feske	604d6bf567	os: make nitpicker compatible to C++20 ... Avoid arithmetics on enum values, disambiguate '==' operator of handle_registry. Fixes #4875	2023-05-30 12:03:29 +02:00
Norman Feske	ef741ef80d	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-29 14:22:29 +02:00
Norman Feske	5d40c0c1ce	Rename 'Nitpicker' namespace to 'Gui' ... Issue #3778	2020-06-22 09:39:40 +02:00
Norman Feske	98f39c698f	Rename "Nitpicker" service name to "Gui" ... Issue #3778	2020-06-22 09:39:39 +02:00
Norman Feske	c6eda9bd80	Rename include/nitpicker_session to gui_session ... This patch also renames the depot api archive accordingly. Issue #3778	2020-06-22 09:39:39 +02:00