From f28f97773d3ac9d94e0540057eb226b9926f659c Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Wed, 15 Jan 2025 17:52:49 +0100
Subject: [PATCH] sculpt: use rom_fs for fiasco and foc

Issue #5406
---
 repos/gems/run/sculpt.run | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run
index 850a193866..94019ecdd8 100644
--- a/repos/gems/run/sculpt.run
+++ b/repos/gems/run/sculpt.run
@@ -1120,9 +1120,13 @@ if {[have_board linux]} {
 	# The Linux version of core does not export a platform_info ROM module.
 	#
 	install_boot_module "platform_info" {<platform/>}
+}
 
+
+if {[have_spec linux] || [have_spec fiasco] || [have_spec foc]} {
 	#
-	# Managed dataspaces as used by cached_fs_rom are not supported on Linux.
+	# Managed dataspaces as used by cached_fs_rom are not supported fully
+	# on all kernels.
 	#
 	copy_file [run_dir]/genode/fs_rom [run_dir]/genode/cached_fs_rom
 }