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" {} +} + +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 }