Anna Lyons

Is it possible to disable filtering completely and get output immediately in builds? We're having similar issues where it's very hard in jenkins output to see which test has hung.

Which gcc version does binary verification assume? :)

"Notifications should influence scheduling as little as possible." -- this is not obviously true to me. It's not obvious what the right thing is here at all to me without...

> there should be no need to have book keeping in userland, if the kernel has this information anyway and could make it available I wasn't on the call, but...

> This introduces an accumulating error between the system clock and timers managed by such tasks. Practically it means any timers handled by such task will sometimes trigger one period...

> Say there are N tasks with each the same period, but different budgets and all budgets add up to the period, would you expect this to be schedulable and...

The bitfield generator only generates code for functions that are used. To create new functions you need to pattern match something similar to what you want and it will generate...

> There is no guarantee that ksCurSC has MIN_BUDGET budget left, as commitTime may be called at any time. This invalidates the assert(refill_sufficient(NODE_STATE(ksCurSC), NODE_STATE(ksConsumed)));. It probably should be assert(refill_capacity(NODE_STATE(ksCurSC), NODE_STATE(ksConsumed)));,...

As long as I remember, we haven't supported compilation with O0. What's the use case?

Note that we added `config_set` to tackle code in #ifdef blocks frequently breaking. . We ended up with a mess of preprocessor defines and some would compile while others did...