Title: Definition of an auxiliary processor dedicated to real-time operating system kernels
Subjects: Computer architecture