Commit 4c5651b9 authored by RILLING Louis's avatar RILLING Louis
Browse files

tansiv: Provide vsg_init() with a callback to notify deadline changes

Deadline changes are notified at the end of deadline handling, right
before unfreezing execution time.
parent 87b671bb
Pipeline #235415 canceled with stages
in 9 minutes and 25 seconds