Principles and Pragmatics for Embedded Systems John Regehr University of Utah foo Hierarchical Loadable Schedulers Theme: Appropriate, checkable abstractions for systems…