Hi Alex,
Another idea/topic, which may be worthwhile to play with, is, to move the intel/display driver out of the basic Sculpt image and load it as kind of on-demand second stage driver (as separate downloadable package). In the beginning, either the vesa or boot_fb driver can be used and should be sufficient. Later on, the Sculpt user may start resp. configure to use the intel/display driver and can make the change persistent in its configuration for the next boot. This would ease/pave the way for easier deployment of other display drivers like for NVIDIA or AMD. Well, and of course, same procedure as every year, I would like to pick up the work of Josef of amdgpu_fp_drv to get it up and running ...
this is a tempting direction, slimming down the Sculpt base image while becoming more open to options other than Intel and decoupling driver updates from the Sculpt image. We should definitely go for it. The most tricky part is probably the handover of the display from one driver to another. Wondering, can this be achieved without much flickering? Let's find out!
Regarding the Seoul-related topics championed by you and Josef, it is probably best to reserve enough time to make satisfactory progress but not frame these activities as official direction of Genode. Such work is enjoyed most without product responsibilities. Do you share my view?
Cheers Norman