From 8d76eebf937408dbd0329d2c2abff1ab3991c54f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Fri, 11 Oct 2024 13:30:14 +0200
Subject: [PATCH] sculpt: add MNT Pocket Reform

Fix genodelabs/genode#5360.
---
 repos/gems/run/sculpt.run                 | 16 ++++++++++++++++
 repos/gems/src/app/sculpt_manager/main.cc | 15 ++++++++-------
 2 files changed, 24 insertions(+), 7 deletions(-)

diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run
index 945e3a3962..ed66ee7dd6 100644
--- a/repos/gems/run/sculpt.run
+++ b/repos/gems/run/sculpt.run
@@ -15,6 +15,7 @@ proc assert_platform_supported { } {
 	if {[have_board pc]}          return
 	if {[have_board imx8q_evk]}   return
 	if {[have_board mnt_reform2]} return
+	if {[have_board mnt_pocket]}  return
 	if {[have_board linux]}       return
 	if {[have_board pinephone]}   return
 
@@ -195,6 +196,21 @@ proc driver_routes { } {
 		<service name="I2c"> <child name="drivers"/> </service>
 	}
 
+	set result(mnt_pocket) {
+		<service name="ROM" label="fb">                <parent label="imx8mq_fb"/> </service>
+		<service name="ROM" label="fb.dtb">            <parent label="imx8mq_fb-mnt_pocket.dtb"/> </service>
+		<service name="ROM" label="mmc">               <parent label="imx8mq_sd_card"/> </service>
+		<service name="ROM" label="mmc.dtb">           <parent label="imx8mq_sd_card-mnt_pocket.dtb"/> </service>
+		<service name="ROM" label="nic">               <parent label="stmmac_nic"/> </service>
+		<service name="ROM" label="nic.dtb">           <parent label="stmmac_nic-mnt_pocket.dtb"/> </service>
+		<service name="ROM" label="usb">               <parent label="imx8m_usb_host"/> </service>
+		<service name="ROM" label="usb.dtb">           <parent label="imx8m_usb_host-mnt_pocket.dtb"/> </service>
+		<service name="ROM" label="wifi.dtb">          <parent label="wifi-mnt_pocket.dtb"/> </service>
+		<service name="ROM" label="wifi.lib.so">       <parent label="imx8mp_qcacld2_wifi.lib.so"/> </service>
+		<service name="ROM" label="wifi_firmware.tar"> <parent label="imx8mp_qcacld2_wifi_firmware.tar"/> </service>
+		<service name="I2c"> <child name="drivers"/> </service>
+	}
+
 	set result(imx8q_evk) {
 		<service name="ROM" label="nic">     <parent label="fec_nic"/> </service>
 		<service name="ROM" label="nic.dtb"> <parent label="fec_nic-imx8q_evk.dtb"/> </service>
diff --git a/repos/gems/src/app/sculpt_manager/main.cc b/repos/gems/src/app/sculpt_manager/main.cc
index 5f78003f7c..f32d48b67a 100644
--- a/repos/gems/src/app/sculpt_manager/main.cc
+++ b/repos/gems/src/app/sculpt_manager/main.cc
@@ -88,6 +88,7 @@ struct Sculpt::Main : Input_event_handler,
 		Build_info::from_xml(Attached_rom_dataspace(_env, "build_info").xml());
 
 	bool const _mnt_reform = (_build_info.board == "mnt_reform2");
+	bool const _mnt_pocket = (_build_info.board == "mnt_pocket");
 
 	Registry<Child_state> _child_states { };
 
@@ -279,13 +280,13 @@ struct Sculpt::Main : Input_event_handler,
 	 **********************/
 
 	Board_info::Soc _soc {
-		.fb    = _mnt_reform,
+		.fb    = _mnt_reform || _mnt_pocket,
 		.touch = false,
-		.wifi  = false, /* initialized via PCI */
-		.usb   = _mnt_reform,
-		.mmc   = _mnt_reform,
+		.wifi  = _mnt_pocket, /* initialized via PCI on Reform */
+		.usb   = _mnt_reform || _mnt_pocket,
+		.mmc   = _mnt_reform || _mnt_pocket,
 		.modem = false,
-		.nic   = _mnt_reform,
+		.nic   = _mnt_reform || _mnt_pocket,
 	};
 
 	Drivers _drivers { _env, _child_states, *this, *this };
@@ -293,10 +294,10 @@ struct Sculpt::Main : Input_event_handler,
 	Drivers::Resumed _resumed = _drivers.resumed();
 
 	Board_info::Options _driver_options {
-		.display = _mnt_reform,
+		.display = _mnt_reform || _mnt_pocket,
 		.usb_net = false,
 		.nic     = false,
-		.wifi    = false,
+		.wifi    = _mnt_pocket,
 		.suppress {},
 		.suspending = false,
 	};