Proposal for a DRM-compliant GPU command scheduler