Re: [PATCH gnumach] Use c_string for dev_name_t in the device subsystem.

Hi Sergey On Wed, Apr 26, 2023 at 01:43:55PM +0300, Sergey Bugaev wrote: Hi Flavio, could you please explain what the difference / the advantage of new_dev_name_t is over dev_name_t? (Preferably, put it into the commit message too.) tl;dr; we can get rid of mach_msg_type_long_t on x86_64. Lo

[PATCH mig] Add support for dynamically sized strings

Dynamically sized strings can be represented as c_string[*] (*). We inline up to 64 bytes but can pass arbitrary strings if needed out of line. Currently implementation is limited to input arguments only (MiG will error out if used as output). In the user stub, we first run strlen on the parameter