Re: [PATCH] flask: label-pci: Allow specifying irq label

["dpsmith.dev" <dpsmith.dev@xxxxxxxxx>]

On 10/19/20 4:03 PM, Jason Andryuk wrote:
> IRQs can be shared, so uniquely labeling doesn't always work.  You run
> into issues if you have domA_t allowed access to device_A_t and domB_t
> to device_B_t.  The shared IRQ can only be labeled one of
> device_A_t or device_B_t, and assignment of the second device fails
> since domA_t doesn't have permission for device_B_t and vice versa.
>
> Add the ability to specify an irq label to flask-label-pci.  A
> shared_irq_t can then be used to for the PIRQ.  The default remains to
> use the device label if an IRQ label isn't specified.
>
> Signed-off-by: Jason Andryuk <jandryuk@xxxxxxxxx>
I don't think it should block this from going in but it probably would 
be good to get an update into docs/misc/xsm-flask.txt on how to 
appropriately use this expansion.
Reviewed-by: Daniel P. Smith <dpsmith@xxxxxxxxxxxxxxxxxxxx>

v/r,
dps