Again, you aren't wrong, and it's actually a lament of mine that these peripheral processors aren't themselves under the purview of the kernel's scheduler for t

Again, you aren't wrong, and it's actually a lament of mine that these peripheral processors aren't themselves under the purview of the kernel's scheduler for their tailor-made tasks or that the code that runs there isn't debuggable in much the same way as any other code. It is, nevertheless, good enough for most people that it more or less works 80% of the time. Pareto strikes again.