ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-30 16:14:13 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: add base binary archive path to build_info ROM

Browse Source 
Fixes #5118
This commit is contained in:
Christian Prochaska 2024-02-15 16:39:35 +01:00 committed by Christian Helmuth
parent 5073cba536
commit cda48b4a49
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -824,7 +824,8 @@ set build_info "<build_info"
append build_info " genode_version=\"[genode_version]\"" append build_info " genode_version=\"[genode_version]\""
append build_info " date=\"[build_date]\"" append build_info " date=\"[build_date]\""
append build_info " depot_user=\"[depot_user]\"" append build_info " depot_user=\"[depot_user]\""
append build_info " board=\"$board_var\"/" append build_info " board=\"$board_var\""
append build_info " base=\"[depot_user]/bin/[depot_spec]/[base_src]/[_current_depot_archive_version src [base_src]]\"/"
append build_info ">" append build_info ">"
set fd [open [run_dir]/genode/build_info w] set fd [open [run_dir]/genode/build_info w]

1
repos/gems/src/app/sculpt_manager/model/runtime_config.h
View File

@ -326,6 +326,7 @@ class Sculpt::Runtime_config
_vimrc { _r, Type::ROM, "default vim configuration", "config -> vimrc" }, _vimrc { _r, Type::ROM, "default vim configuration", "config -> vimrc" },
_fonts { _r, Type::ROM, "system font configuration", "config -> managed/fonts" }, _fonts { _r, Type::ROM, "system font configuration", "config -> managed/fonts" },
_pf_info { _r, Type::ROM, "platform information", "platform_info" }, _pf_info { _r, Type::ROM, "platform information", "platform_info" },
_bld_info { _r, Type::ROM, "build information", "build_info" },
_system { _r, Type::ROM, "system status", "config -> managed/system" }, _system { _r, Type::ROM, "system status", "config -> managed/system" },
_report { _r, Type::REPORT, "system reports" }, _report { _r, Type::REPORT, "system reports" },
_shape { _r, Type::REPORT, "pointer shape", "shape", Service::Match_label::LAST }, _shape { _r, Type::REPORT, "pointer shape", "shape", Service::Match_label::LAST },