diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2025-07-01 22:13:34 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2025-07-01 22:13:34 +0200 |
commit | 0c817af60da646210652269d420f8686355b8cd3 (patch) | |
tree | c1268a38ef5da1955013840b83c370cca6553cb0 | |
parent | 576352e7c3ddc2de753c075b68e3a91ad2a0f2da (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.c | 3 |
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 (); } |