HEllo,
Michael Kelly, le sam. 16 août 2025 20:29:57 +0100, a ecrit:
ipc_kobject_set (bd->port, (ipc_kobject_t) &bd->device, IKOT_DEVICE);
I cannot see a simple method of achieving the same in rumpdisk
We can add one :)
I'm however thinking that we should probably not conflate IKOT_DEVICE
with a user-level one, because IKOT_DEVICE may be used for more than
what we think, see e.g. dev_port_lookup, ipc_kobject_notify. But we can
add another IKOT_USER_DEVICE, and add it to ipc_kobject_vm_page_list,
and add a mach call (restricted to privileged tasks) to set this type.