Re: [PATCH gnumach v2 0/6] support for raising priority by privileged users

Hello,

Thanks for this!

I have applied the series, although in a different order, to avoid
having a git range in which we have max_priority initialized to
BASEPRI_SYSTEM without making bootstrap set it to BASEPRI_USER.

Also, documentation should go along adding the feature :)

Samuel

[email protected], le dim. 17 mai 2026 05:55:46 +0100, a ecrit:
> From: Diego Nieto Cid <[email protected]>
> 
> Hi,
> 
> This is version 2 of the priority patchset. It adds:
> 
>   * Documention for the new RPC in the GNUMach manual
>   * Dropping to USER priority in boot_script_task_create
>   * Updated tests
> 
> I'm not sure what else to put in this cover letter
> but I like how it provides an anchor poitn to the
> patchset diffs :P
> 
> Regards,
> Diego
> 
> -- 
> 2.53.0
> 
>