ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-24 17:55:19 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

gpu/intel: provide supported devices as config

Browse Source 
Adjust drivers_managed and sculpt accordingly.

Issue #4260
This commit is contained in:
Alexander Boettcher
2021-09-24 15:53:49 +02:00
committed by Norman Feske
parent d67899be95
commit d85a448c52
5 changed files with 100 additions and 39 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
repos/gems/run/sculpt.run
View File

@ -115,6 +115,7 @@ install_config {
<rom name="special" label="special.chargen"/>
</dir>
<rom name="fb_drv" label="fb_drv.config"/>
<rom name="gpu_drv" label="gpu_drv.config"/>
<rom name="nitpicker" label="nitpicker.config"/>
<rom name="numlock_remap" label="numlock_remap.config"/>
<rom name="leitzentrale" label="leitzentrale.config"/>
@ -255,6 +256,8 @@ install_config {
<child name="config_fs_rom"/> </service>
<service name="ROM" label_last="fb_drv.config">
<child name="config_fs_rom" label="managed/fb_drv"/> </service>
<service name="ROM" label_last="gpu_drv.config">
<child name="config_fs_rom" label="gpu_drv"/> </service>
<service name="ROM" label_last="numlock_remap.config">
<child name="config_fs_rom" label="numlock_remap"/> </service>
<service name="ROM" label_last="usb_policy">
@ -539,6 +542,9 @@ if {[have_board pc]} {
copy_file [genode_dir]/repos/gems/recipes/raw/drivers_managed-pc/event_filter.config \
[run_dir]/genode/event_filter.config
copy_file [genode_dir]/repos/os/src/drivers/gpu/intel/gpu_drv.config \
[run_dir]/genode/gpu_drv.config
copy_file [genode_dir]/repos/gems/run/sculpt/machine.vbox [run_dir]/genode/
copy_file [genode_dir]/repos/gems/recipes/raw/drivers_managed-pc/drivers.config \