summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2025-07-01 22:13:34 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2025-07-01 22:13:34 +0200
commit0c817af60da646210652269d420f8686355b8cd3 (patch)
treec1268a38ef5da1955013840b83c370cca6553cb0
parent576352e7c3ddc2de753c075b68e3a91ad2a0f2da (diff)
rumpdisk: Allow rumpusbdisk operate even when gnumach operates SATA
rumpusbdisk's driving of USB sticks won't interfere with gnumach operating SATA.
-rw-r--r--rumpdisk/block-rump.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/rumpdisk/block-rump.c b/rumpdisk/block-rump.c
index 01dfd389..5a943dcb 100644
--- a/rumpdisk/block-rump.c
+++ b/rumpdisk/block-rump.c
@@ -156,6 +156,7 @@ rumpdisk_device_init (void)
{
mach_port_t device_master;
+#ifdef _RUMP_SATA
if (! get_privileged_ports (&master_host, &device_master))
{
device_t device;
@@ -191,6 +192,8 @@ rumpdisk_device_init (void)
mach_port_deallocate (mach_task_self (), device_master);
}
+#endif
+
rump_init ();
}