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

[dnietoc]

From: Diego Nieto Cid <dnie...@gmail.com>

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