genode/repos/os/recipes/pkg/drivers_interactive-linux
..

               Device drivers needed to run interactive
                          scenarios on Linux