diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run index 932b267c93..c7540b99fe 100644 --- a/repos/gems/run/sculpt.run +++ b/repos/gems/run/sculpt.run @@ -160,6 +160,15 @@ proc nic_drv { } { } +proc nic_drv_dtb { } { + + if {[have_board imx8q_evk]} { return fec_nic_drv-imx8q_evk.dtb } + if {[have_board mnt_reform2]} { return fec_nic_drv-mnt_reform2.dtb } + + return nic_unavailable +} + + proc log_core_start_node { } { if {[have_board linux]} return @@ -617,7 +626,8 @@ install_config { } [log_route] { - + + @@ -938,7 +948,6 @@ if {[have_board linux]} { copy_file [run_dir]/genode/fs_rom [run_dir]/genode/cached_fs_rom } - # support for the Leitzentrale GUI copy_file [genode_dir]/repos/gems/src/app/backdrop/genode_logo.png [run_dir]/genode/ copy_file [genode_dir]/repos/gems/run/sculpt/drop_shadow.png [run_dir]/genode/ diff --git a/repos/gems/src/app/sculpt_manager/runtime/nic_drv.cc b/repos/gems/src/app/sculpt_manager/runtime/nic_drv.cc index fc9aa960dd..a735f3a548 100644 --- a/repos/gems/src/app/sculpt_manager/runtime/nic_drv.cc +++ b/repos/gems/src/app/sculpt_manager/runtime/nic_drv.cc @@ -35,6 +35,7 @@ void Sculpt::gen_nic_drv_start_content(Xml_generator &xml) xml.attribute("label", "nic"); }); }); gen_parent_rom_route(xml, "nic_drv"); + gen_parent_rom_route(xml, "nic_drv.dtb"); gen_parent_rom_route(xml, "ld.lib.so"); gen_parent_route (xml); gen_parent_route (xml);