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

sculpt: add F&S i.MX 8MP Armstone

Browse Source
This commit is contained in:
Stefan Kalkowski 2025-02-18 14:48:56 +01:00 committed by Christian Helmuth
parent 0393965d5a
commit b1d53fd4c8
3 changed files with 36 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -18,6 +18,7 @@ proc assert_platform_supported { } {
if {[have_board mnt_pocket]} return if {[have_board mnt_pocket]} return
if {[have_board linux]} return if {[have_board linux]} return
if {[have_board pinephone]} return if {[have_board pinephone]} return
if {[have_board imx8mp_armstone]} return
puts "Platform is unsupported."; puts "Platform is unsupported.";
exit 0; exit 0;
@ -231,6 +232,18 @@ proc driver_routes { } {
<service name="IRQ" label_prefix="touch ->"> <child name="drivers" label="runtime -> touch -> PH4"/> </service> <service name="IRQ" label_prefix="touch ->"> <child name="drivers" label="runtime -> touch -> PH4"/> </service>
} }
set result(imx8mp_armstone) {
<service name="ROM" label="fb"> <parent label="imx8mp_armstone_fb"/> </service>
<service name="ROM" label="fb.dtb"> <parent label="imx8mp_armstone_fb-imx8mp_armstone.dtb"/> </service>
<service name="ROM" label="mmc"> <parent label="imx8mq_sd_card"/> </service>
<service name="ROM" label="mmc.dtb"> <parent label="imx8mq_sd_card-imx8mp_armstone.dtb"/> </service>
<service name="ROM" label="nic"> <parent label="fec_nic"/> </service>
<service name="ROM" label="nic.dtb"> <parent label="fec_nic-imx8mp_armstone.dtb"/> </service>
<service name="ROM" label="usb"> <parent label="imx8m_usb_host"/> </service>
<service name="ROM" label="usb.dtb"> <parent label="imx8m_usb_host-imx8mp_armstone.dtb"/> </service>
<service name="I2c"> <child name="drivers"/> </service>
}
if {[info exists result([board])]} { if {[info exists result([board])]} {
return $result([board]); } return $result([board]); }

7
repos/gems/run/sculpt_image.run
View File

@ -7,6 +7,7 @@ proc board_supported { } {
if {[have_board pc]} { return true } if {[have_board pc]} { return true }
if {[have_board mnt_reform2]} { return true } if {[have_board mnt_reform2]} { return true }
if {[have_board mnt_pocket]} { return true } if {[have_board mnt_pocket]} { return true }
if {[have_board imx8mp_armstone]} { return true }
return false return false
} }
@ -52,6 +53,12 @@ if {[have_board mnt_pocket]} {
assert_run_arg "--image-uboot-gzip-best" assert_run_arg "--image-uboot-gzip-best"
} }
if {[have_board imx8mp_armstone]} {
assert_include image/uboot
assert_include image/armstone_sdcard
assert_run_arg "--image-uboot-gzip-best"
}
source ${genode_dir}/repos/gems/run/sculpt.run source ${genode_dir}/repos/gems/run/sculpt.run
set image_name "sculpt-$board_var-[build_date]" set image_name "sculpt-$board_var-[build_date]"

11
repos/gems/src/app/sculpt_manager/main.cc
View File

@ -91,6 +91,7 @@ struct Sculpt::Main : Input_event_handler,
bool const _mnt_reform = (_build_info.board == "mnt_reform2"); bool const _mnt_reform = (_build_info.board == "mnt_reform2");
bool const _mnt_pocket = (_build_info.board == "mnt_pocket"); bool const _mnt_pocket = (_build_info.board == "mnt_pocket");
bool const _armstone = (_build_info.board == "imx8mp_armstone");
Registry<Child_state> _child_states { }; Registry<Child_state> _child_states { };
@ -294,13 +295,13 @@ struct Sculpt::Main : Input_event_handler,
**********************/ **********************/
Board_info::Soc _soc { Board_info::Soc _soc {
.fb = _mnt_reform || _mnt_pocket, .fb = _mnt_reform || _mnt_pocket || _armstone,
.touch = false, .touch = false,
.wifi = _mnt_pocket, /* initialized via PCI on Reform */ .wifi = _mnt_pocket, /* initialized via PCI on Reform */
.usb = _mnt_reform || _mnt_pocket, .usb = _mnt_reform || _mnt_pocket || _armstone,
.mmc = _mnt_reform || _mnt_pocket, .mmc = _mnt_reform || _mnt_pocket || _armstone,
.modem = false, .modem = false,
.nic = _mnt_reform || _mnt_pocket, .nic = _mnt_reform || _mnt_pocket || _armstone,
.fb_on_dedicated_cpu = _mnt_pocket .fb_on_dedicated_cpu = _mnt_pocket
}; };
@ -310,7 +311,7 @@ struct Sculpt::Main : Input_event_handler,
Drivers::Resumed _resumed = _drivers.resumed(); Drivers::Resumed _resumed = _drivers.resumed();
Board_info::Options _driver_options { Board_info::Options _driver_options {
.display = _mnt_reform || _mnt_pocket, .display = _mnt_reform || _mnt_pocket || _armstone,
.usb_net = false, .usb_net = false,
.nic = false, .nic = false,
.wifi = _mnt_pocket, .wifi = _mnt_pocket,