Hello, Note that you are not stuck with ioctl's parsing. You can use _HURD_HANDLE_IOCTL and _HURD_HANDLE_IOCTLS to define client-side interpretation of of the ioctl parameter, to be able to cast that into an RPC just like you prefer instead of the IOT things.
Samuel
