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 > >
