genode/repos/gems/sculpt
Norman Feske 1ddbb3444c sculpt/nitpicker: use label for matching decorator
The 'label_suffix=" -> decorator"' rule is weaker than the
more generic 'label_prefix="runtime -> wm"' rule, to the effect that the
decorator is assigned to the "desktop" domain instead of the "decorator"
domain. Replace the 'label_prefix' by the decorator's concrete label
to resolve this ambiguity.
2024-12-10 14:12:24 +01:00
..
clipboard Modularize Sculpt OS image creation 2022-01-19 12:38:11 +01:00
deploy sculpt/depot/falkon_web_browser: version for 24.10 2024-10-30 08:14:55 +01:00
depot sculpt/depot: add depot user atopia 2024-10-30 08:14:55 +01:00
drivers Remove '_drv' suffix 2024-06-20 12:54:30 +02:00
event_filter sculpt: remap KEY_SYSRQ to KEY_PRINT 2024-04-29 15:31:20 +02:00
fb sculpt/fb/default: remove examples 2024-10-30 08:14:55 +01:00
fonts Mobile version of Sculpt OS 2024-02-28 16:31:46 +01:00
global_keys Modularize Sculpt OS image creation 2022-01-19 12:38:11 +01:00
gpu gpu/intel: use fixed aperture size for GPU service 2024-11-20 08:55:49 +01:00
launcher sculpt: update touchpad for 24.10 2024-10-30 08:14:55 +01:00
leitzentrale sculpt: let leitzentrale follow the pointer 2024-10-30 08:14:56 +01:00
manager sculpt: make storage target configurable 2024-04-12 15:05:46 +02:00
nitpicker sculpt/nitpicker: use label for matching decorator 2024-12-10 14:12:24 +01:00
numlock_remap Modularize Sculpt OS image creation 2022-01-19 12:38:11 +01:00
ram_fs sculpt: allow new depot users in ram_fs/depot 2023-04-17 14:48:29 +02:00
runtime Modularize Sculpt OS image creation 2022-01-19 12:38:11 +01:00
system Modularize Sculpt OS image creation 2022-01-19 12:38:11 +01:00
usb sculpt/usb/default: add device-assignment example 2024-04-19 08:54:21 +02:00
wifi sculpt/wifi/default: comment invalid network node 2024-10-30 08:14:53 +01:00
default-linux.sculpt sculpt: make storage target configurable 2024-04-12 15:05:46 +02:00
default-pc.sculpt sculpt/depot: add depot user atopia 2024-10-30 08:14:55 +01:00
net_test-pc.sculpt gems: remove driver_manager 2024-04-12 15:02:45 +02:00
phone-linux.sculpt sculpt: introduce config/manager 2024-04-12 15:05:14 +02:00