mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 13:47:56 +00:00
parent
11a6117da6
commit
73fec3bdb7
@ -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 {
|
||||
<service name="Report"> <child name="fs_report"/> </service>
|
||||
<service name="LOG" label="unlogged"> <parent/> </service>
|
||||
} [log_route] {
|
||||
<service name="ROM" label="nic_drv"> <parent label="} [nic_drv] {"/> </service>
|
||||
<service name="ROM" label="nic_drv"> <parent label="} [nic_drv] {"/> </service>
|
||||
<service name="ROM" label="nic_drv.dtb"> <parent label="} [nic_drv_dtb] {"/> </service>
|
||||
<service name="Event" label="global"> <child name="nitpicker"/> </service>
|
||||
<service name="Event" label="leitzentrale"> <child name="leitzentrale"/> </service>
|
||||
<service name="Capture" label="global"> <child name="nitpicker"/> </service>
|
||||
@ -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/
|
||||
|
@ -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<Cpu_session> (xml);
|
||||
gen_parent_route<Pd_session> (xml);
|
||||
|
Loading…
Reference in New Issue
Block a user